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.