Improving Software Development by Using Safe Object Oriented Development: OTCD.

Xavier Mhaut, Pierre Morre

Browse the full SAFECOMP paper archive.