"Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation"

Författare
Gilles Barthe
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
2010 Utgivningsland okänt / Ej specificerat
Springer 2010 Utgivningsland okänt / Ej specificerat