Implementation and evaluation of an interpolation based model checker
- Författare
- Lars Helander
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Numerisk analys och datalog, Kungliga Tekniska högskolan | 2007 | Sverige, Stockholm | 34 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Numerisk analys och datalog, Kungliga Tekniska högskolan | 2007 | Sverige, Stockholm | 34 sidor. |