Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical report UU-CS-2005-046

select other reports

report

techrep_id file title / author
UU-CS-2005-046 pdf Theorem Prover Supported Logics for Small Imperative Languages
I.S.W.B. Prasetya, A. Azurat, T.E.J. Vos, A. van Leeuwen, H. Suhartanto

indexed authors

author group
Azurat, A. all reports Software Technology all reports
Leeuwen, drs. A.J. van all reports Software Technology all reports
Prasetya, dr. S.W.B. all reports Software Technology all reports
Vos, dr. T.E.J. all reports Software Technology all reports

BibTeX entry

@TECHREPORT{UUCS2005046,
author = {Prasetya, I.S.W.B. and Azurat, A. and Vos, T.E.J. and Leeuwen, A.~van and Suhartanto, H.},
year = 2005,
title = {Theorem Prover Supported Logics for Small Imperative Languages},
number = {UU-CS-2005-046},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-046.pdf}},
pubcat = {techreport}
}