(1999). Applied formal methods--FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter [and others] (eds.).
Dyfyniad Arddull ChicagoApplied Formal Methods--FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : Proceedings / Dieter Hutter [and Others] (eds.). 1999.
Dyfyniad MLAApplied Formal Methods--FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : Proceedings / Dieter Hutter [and Others] (eds.). 1999.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.