Joachim van den Berg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1998–2001
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | TACAS | The LOOP Compiler for Java and JML. | Joachim van den Berg, Bart Jacobs |
| 2000 | CARDIS | Specification of the JavaCard API in JML. | Erik Poll, Joachim van den Berg, Bart Jacobs |
| 1998 | OOPSLA | Reasoning about Java Classes (Preliminary Report). | Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum |