Roberto Moreno-Diaz, Bruno Buchberger,
"Formal Methods and Tools for Computer Science"
, in Lecture Notes in Computer Science 2178, 2-2001, ISBN: 3-450-42959-X, ISSN: 0302-9743, R. Moreno-Diaz, B. Buchberger, J.L. Freire eds. Proceedings of EUROCAST 2001 (8th International Conference on Computer Aided Systems Thoery), Lecture Notes in Computer Science 2178, Springer, Berlin-Heidelberg-New York
Original Titel:
Formal Methods and Tools for Computer Science
Sprache des Titels:
Englisch
Englischer Titel:
Formal Methods and Tools for Computer Science
Journal:
Lecture Notes in Computer Science 2178
Erscheinungsmonat:
2
Erscheinungsjahr:
2001
Notiz zum Zitat:
R. Moreno-Diaz, B. Buchberger, J.L. Freire eds. Proceedings of EUROCAST 2001 (8th International Conference on Computer Aided Systems Thoery), Lecture Notes in Computer Science 2178, Springer, Berlin-Heidelberg-New York
ISBN:
3-450-42959-X
ISSN:
0302-9743
Anzahl der Seiten:
10
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift