ISSE

Search

Formal Methods and Tools: Introduction and Overview

R. Berghammer, Y. Lakhnech, and W. Reif

Formal Methods and Tools: Introduction and Overview

published 1999 R. Berghammer and Y. Lakhnech, editors, Tool Support for System Specification, Development and Verification

Publisher: Springer Verlag