Studying Verification Conditions for Imperative Programs

Thumbnail Image
Files
P-00K-9TS.pdf (434.46 KB)
Date
2015
Authors
Cláudio Belo Lourenço
Lamraoui,SM
Nakajima,S
Jorge Sousa Pinto
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/5029
Collections
HASLab - Indexed Articles in Journals