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

publications by drs. A.J. van Leeuwen

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

drs. A.J. van Leeuwen

• contact information
• my technical reports
• former member of group software technology

some publications

Heeren, B.J., Jeuring, J.T., Leeuwen, A.J. van & Gerdes, A. (2008). Specifying Strategies for Exercises. In S. Autexier, J. Campbell, J. Rubio, S. Volker, M. Suzuki & F. Wiedijk (Eds.), Intelligent Computer Mathematics. Springer-Verlag.

Heeren, B.J., Jeuring, J.T., Leeuwen, A.J. van & Gerdes, A. (2008). Specifying Strategies for Exercises. UU-CS 2008-001. onbekend: UU WINFI Informatica en Informatiekunde.

Prasetya, I.S.W.B., Azurat, A., Vos, T.E.J. & Leeuwen, A.J. van (2006). Incremental Implementation of Syntax Driven Logics. Journal of Software, 1(3), 1-13.

Leeuwen, A.J. van (2005). Building Verification Condition Generators by Compositional Extension. In Judi Romein, Graeme Smith & Jaco van de Pol (Eds.), IFM2005 Doctoral Symposium on Integrated Formal Methods (Computer Science Reports, CS-Report ). Technische Universiteit Eindhoven.

Prasetya, I.S.W.B., Azurat, A., Vos, T.E.J. & Leeuwen, A.J. van (2005). Building Verification Condition Generators by Compositional Extensions. In B.K. Aichernig & B. Beckert (Eds.), Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods (pp. 220-230). IEEE Computer Society Press.

Prasetya, I.S.W.B., Azurat, A., Vos, T.E.J., Leeuwen, A.J. van & Suhartanto, H. (2005). Theorem Prover Supported Logics for Small Imperative Languages. UU-CS 2005-046. onbekend: UU WINFI Informatica en Informatiekunde.