Martin Lackner, Andreas Krall, Franz Puntigam
Supporting Design by Contract in Java
TOOLS, 2002.
@article{TOOLS-USA-2002-LacknerKP, author = "Martin Lackner and Andreas Krall and Franz Puntigam", doi = "10.5381/jot.2002.1.3.a4", journal = "{Journal of Object Technology}", number = 3, pages = "57--76", title = "{Supporting Design by Contract in Java}", volume = 1, year = 2002, }