| Title | Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes ... Programming and Software Engineering) |
|---|---|
| Author | Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani |
| Year | 2010 |
| Edition | 1st Edition. |
| Volume | |
| Series | |
| Publisher | |
| City | |
| Language | English |
Size: 1.83MB | Pages: 227 |
LLC: N/A | DDC:
Related Books
- No Related Books!