Integrated Formal Methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings - Wolfgang Grieskamp, Thomas Santen, Bill Stoddart ((Lecture Notes in Computer Science))