Extreme Design by Contract

Y. Feldman
DOI: https://doi.org/10.1007/3-540-44870-5_32
2003-05-25
Abstract:
What problem does this paper attempt to address?