Studying Verification Conditions for Imperative Programs

dc.contributor.author Cláudio Belo Lourenço en
dc.contributor.author Lamraoui,SM en
dc.contributor.author Nakajima,S en
dc.contributor.author Jorge Sousa Pinto en
dc.date.accessioned 2017-12-28T10:40:44Z
dc.date.available 2017-12-28T10:40:44Z
dc.date.issued 2015 en
dc.description.abstract en
dc.identifier.uri http://repositorio.inesctec.pt/handle/123456789/5029
dc.language eng en
dc.relation 5595 en
dc.relation 6180 en
dc.rights info:eu-repo/semantics/openAccess en
dc.title Studying Verification Conditions for Imperative Programs en
dc.type article en
dc.type Publication en
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
P-00K-9TS.pdf
Size:
434.46 KB
Format:
Adobe Portable Document Format
Description: