Please use this identifier to cite or link to this item:
Title: Verification Conditions for Source-level Imperative Programs
Authors: Jorge Sousa Pinto
Maria João Frade
Issue Date: 2011
metadata.dc.type: article
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
PS-08357.pdf1.68 MBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.