Using a symbolic dependence analysis for verification of programs containing loops
- Författare
- Max Schroeder
- (Max Schroeder.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of technology | 2007 | Sverige, Göteborg | 64 sidor. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of technology | 2007 | Sverige, Göteborg | 64 sidor. ill. |