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

Mon, 01 Jan 2001 00:00:00 +0100

Natasha Sharygina, James C. Browne, Robert P. Kurshan:
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. FASE 2001: 318-332