A Formal Object-Oriented Analysis for Software Reliability: Design for Verification.

Natasha Sharygina, James C. Browne, Robert P. Kurshan

Browse the full FASE paper archive.