Simple Support for Design by Contract in C++.

Pedro Guerreiro Simple Support for Design by Contract in C++. 24-34 2001 conf/tools/39-2001 TOOLS (39) http://doi.ieeecomputersociety.org/10.1109/TOOLS.2001.941656 db/conf/tools/tools39-2001.html#Guerreiro01