Dieter Hutter, W. S. (1999). Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings. Springer.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
Chicago-viite (17. p.)
Dieter Hutter, Werner Stephan. Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings. Berlín, Alemania: Springer, 1999.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
MLA-viite (9. p.)
Dieter Hutter, Werner Stephan. Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings. Springer, 1999.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.