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