José Nuno Oliveira;Pamela Zave (Hrsg). FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings. Berlin: Springer 2001 S. 135 - 152 (Lecture Notes in Computer Science)

Erscheinungsjahr: 2001

ISBN/ISSN: 978-3-540-41791-0

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Doi/URN: 10.1007/3-540-45251-6_8

Volltext über DOI/URN