Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design

Författare
Ruzica. Piskac
Språk
Okänt
Förlag År Ort Om boken ISBN
2016 Utgivningsland okänt / Ej specificerat