Integrated Formal Methods Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings - Grieskamp, Wolfgang; Grieskamp, Wolfgang; Santen, Thomas; Santen, Thomas; Stoddart, Bill; Stoddart, Bill (Springer Berlin Heidelberg : Imprint: Springer, 2000)