Provably Correct Control-Flow Graphs from Java Programs with Exceptions
- Författare
- Afshin Amighi
- Genre
- Statlig publikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| KTH Royal Institute of Technology and University of Twente | 2012 | Sverige | 30 |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| KTH Royal Institute of Technology and University of Twente | 2012 | Sverige | 30 |