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

Natasha Sharygina, James C. Browne, Robert P. Kurshan (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics