A Roadmap for Formal Property Verification electronic resource / by Pallab Dasgupta

Författare
Pallab. author. Dasgupta
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat