Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.

Clemens Fischer Heike Wehrheim Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. 92-101 2000 71 Bulletin of the EATCS db/journals/eatcs/eatcs71.html#FischerW00