Building Verification Condition Generators by Compositional Extensions
Publication date
2004
Authors
Prasetya, I. S.W.B.
Azurat, A.
Vos, T.E.J.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client
Citation
Prasetya, I S W B, Azurat, A & Vos, T E J 2004, Building Verification Condition Generators by Compositional Extensions. vol. 2004-054, UU-CS edn, Utrecht University: Information and Computing Sciences, Utrecht.