Staff view

You must be logged in to Tag Records
APA Citation

Grieskamp, Wolfgang,, Santen, Thomas,Stoddart, Bill. (Eds.) (2000) Integrated formal methods :second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings Berlin ; Springer,

MLA Citation

Grieskamp, Wolfgang,, Santen, Thomas,Stoddart, Bill,eds. Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings. Berlin : Springer, 2000. Print.