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 Invited Talk
export record as
dblp key:
Linking and Extending Notations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
H. B. M. Jonkers :
ISpec: Towards Practical and Sound Interface Specifications.
116-135
Methodology
export record as
dblp key:
Yamine Aït Ameur :
Cooperation of Formal Methods in an Engineering Based Software Development Process.
136-155
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jürgen Dingel :
Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs.
214-234
Foundation of One Formalism by Another
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jonathan P. Bowen :
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.
277-296
Invited Talk
export record as
dblp key:
Semantics
export record as
dblp key:
Yifeng Chen :
How to Write a Healthiness Condition.
299-317
export record as
dblp key:
Verification and Validation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
