Download Computer Aided Verification PDF
| Title | Computer Aided Verification |
|---|---|
| Subtitle | 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I |
| Publisher | Springer |
| ISBN | 9783030255398 |
| Authors | Isil Dillig Serdar Tasiran |
| Topics | Computer Science, |
| Total Pages | 680 |
| File Size | 24.9 MB |
| Format |
