Please use this identifier to cite or link to this item:
http://repositorio.inesctec.pt/handle/123456789/5029
Title: | Studying Verification Conditions for Imperative Programs |
Authors: | Cláudio Belo Lourenço Lamraoui,SM Nakajima,S Jorge Sousa Pinto |
Issue Date: | 2015 |
Abstract: | |
URI: | http://repositorio.inesctec.pt/handle/123456789/5029 |
metadata.dc.type: | article Publication |
Appears in Collections: | HASLab - Articles in International Journals |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
P-00K-9TS.pdf | 434.46 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.