Book: Integrated Formal Methods This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000.
The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation.
Details of Book: Integrated Formal Methods Book: Integrated Formal Methods
Author: W. Grieskamp, T. Santen, B. Stoddart
ISBN: 3540411968
ISBN-13: 9783540411963
, 978-3540411963
Binding: Paperback
Publishing Date: 18102000
Publisher: Springer Berlin Heidelberg
Number of Pages: 456
Language: English