Jass - Java with Assertions (2001)

by D Bartetzko, C Fischer, M Möller, H Wehrheim
Venue:In Proceedings of RV’03, volume 55 of ENTCS. Elsevier Science