Hutter, Dieter. (Eds.) (1999) Applied formal methods--FM-Trends 98International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings Berlin ; Springer,MLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Applied formal methods--FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings /
Dieter Hutter ... [et al.] (eds.).
|Published:||Berlin ; Springer, c1999.|
Lecture notes in computer science ; 1641.
|Topics:||Formal methods (Computer science) - Congresses.|
|Genres:||Electronic books. | Conference proceedings.|