A Roadmap for Formal Property Verification electronic resource
- Författare
- Pallab. DasGupta
- (Pallab DasGupta.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2006 | Utgivningsland okänt / Ej specificerat, Dordrecht | v.: digital | 978-1-4020-4758-9 |