Jass - Java with Assertions

Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim. Jass - Java with Assertions. Electronic Notes in Theoretical Computer Science, 55(2):103-117, 2001. [doi]

Abstract

Abstract is missing.