Theorem Prover Supported Logics for Small Imperative Languages
Publication date
2005
Authors
Prasetya, Wishnu
Azurat, A.
Vos, T.E.J.
van Leeuwen, A.J.
Suhartanto, H.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Scientific
Citation
Prasetya, I S W B, Azurat, A, Vos, T E J, van Leeuwen, A J & Suhartanto, H 2005, Theorem Prover Supported Logics for Small Imperative Languages. vol. 2005-046, UU-CS edn, UU WINFI Informatica en Informatiekunde, onbekend. < http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-2005/2005-046.pdf >