Integrated Formal Methods [E-Book] : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings / by Wolfgang Grieskamp, Thomas Santen, Bill Stoddart.
Grieskamp, Wolfgang.
Santen, Thomas. / Stoddart, Bill.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
online resource
englisch
9783540411963
Lecture notes in computer science ; 1945
Full Text
Description not available.