Arthur van Leeuwen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2005–2008
Best venue rank
Australasian
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | AISC | Specifying Strategies for Exercises. | Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes |
| 2005 | SEFM | Building Verification Condition Generators by Compositional Extensions. | I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen |