FMSP '98: Proceedings of the second workshop on Formal methods in software practice

Författare
Mark Ardis
Språk
Okänt
Förlag År Ort Om boken ISBN
ACM uuuu-uuuu Utgivningsland okänt / Ej specificerat