FM 2006
formal methods : 14th international symposium on formal methods, Hamilton, Canada, August 21-27, 2006 : proceedings
Gespeichert in:
Verfasser / Beitragende:
Jayadev Misra ... [et al.], (eds.)
Ort, Verlag, Jahr:
Berlin :
Springer,
2006
Beschreibung:
620 p. : ill.
Format:
Buch (Kongress)