JaWa: Java with assertions (1998)

by C Fischer, D Meemken
Venue:JIT '98 Java-Informations-Tage