Verification Conditions for Source-level Imperative Programs

No Thumbnail Available
Date
2011
Authors
Jorge Sousa Pinto
Maria João Frade
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/2822
 http://dx.doi.org/10.1016/j.cosrev.2011.02.002
Collections
HASLab - Indexed Articles in Journals