Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

Författare
Ruzica Piskac
Språk
Engelska
Förlag År Ort Om boken ISBN
IEEE 2021 Utgivningsland okänt / Ej specificerat