Heuristic quantifier instantation for Java dynamic logic
- Författare
- Zengrong Zhan
- (Zengrong Zhan.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högskola | 2007 | Sverige, Göteborg | viii, 50 sidor. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högskola | 2007 | Sverige, Göteborg | viii, 50 sidor. ill. |