FMSP '00: Proceedings of the third workshop on Formal methods in software practice

Författare
Mats P. E. Heimdahl
Språk
Okänt
Förlag År Ort Om boken ISBN
ACM uuuu-uuuu Utgivningsland okänt / Ej specificerat