home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

technical reports : A. Azurat

select other reports

• technical report index page
• below : list of indexed authors

this selection

author	A. Azurat

reports (6)

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
UU-CS-2004-054	pdf	Building Verification Condition Generators by Compositional Extensions I. S. W. B. Prasetya, A. Azurat, and T.E.J. Vos
UU-CS-2003-043	pdf	A UNITY-based Framework towards Component Based Systems I.S.W.B. Prasetya, T.E.J. Vos, A. Azurat, and S.D. Swierstra
UU-CS-2002-025	pdf	!UNITY: A Theory of General UNITY I.S.W.B. Prasetya, T.E.J. Vos, A. Azurat, S.D. Swierstra
UU-CS-2002-008	ps.gz pdf	A preliminary report on xMECH A. Azurat and I.S.W.B. Prasetya
UU-CS-2002-007	ps.gz pdf	A Survey on Embedding Programming Logics in a Theorem Prover A. Azurat and I.S.W.B. Prasetya

indexed (co) 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
Swierstra, prof. dr. S.D.	all reports	software technology	all reports
Vos, dr. T.E.J.	all reports	software technology	all reports

BibTeX entries

@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}
}

@TECHREPORT{UUCS2004054,
author = {Prasetya, I.~S.~W.~B. and Azurat, A. and Vos, T.E.J.},
year = 2004,
title = {Building Verification Condition Generators by Compositional Extensions},
number = {UU-CS-2004-054},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-054.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2003043,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Azurat, A. and Swierstra, S.D.},
year = 2003,
title = {A UNITY-based Framework towards Component Based Systems},
number = {UU-CS-2003-043},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-043.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2002025,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Azurat, A. and Swierstra, S.D.},
year = 2002,
title = {!UNITY: A Theory of General UNITY},
number = {UU-CS-2002-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-025.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2002008,
author = {Azurat, A. and Prasetya, I.S.W.B.},
year = 2002,
title = {A preliminary report on xMECH},
number = {UU-CS-2002-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-008.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-008.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2002007,
author = {Azurat, A. and Prasetya, I.S.W.B.},
year = 2002,
title = {A Survey on Embedding Programming Logics in a Theorem Prover},
number = {UU-CS-2002-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-007.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-007.pdf}},
pubcat = {techreport}
}