FM 2006

formal methods : 14th international symposium on formal methods, Hamilton, Canada, August 21-27, 2006 : proceedings

Verfasser / Beitragende:
Jayadev Misra ... [et al.], (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 2006
Beschreibung:
620 p. : ill.
Format:
Buch (Kongress)
ID: 235871591