Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (Eds.):
Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings.
Lecture Notes in Computer Science 1945 Springer 2000, ISBN 3-540-41196-8
Linking and Extending Notations
Yamine Aït Ameur
: Cooperation of Formal Methods in an Engineering Based Software Development Process.
: Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs.
Foundation of One Formalism by Another
Jonathan P. Bowen
: Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.
: How to Write a Healthiness Condition.
Verification and Validation