Arthur van Leeuwen

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes
Specifying Strategies for Exercises. AISC/MKM/Calculemus (2008)
Ignatius Sri Wishnu Brata Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen
Incremental Implementation of Syntax Driven Logics. J. Softw. 1 (3) (2006)
I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen
Building Verification Condition Generators by Compositional Extensions. SEFM (2005)