by Bill Stoddart
Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings<br />Author: Wolfgang Grieskamp, Thomas Santen, Bill Stoddart<br /> Publ…