| Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings | | | Editor:
| Leavens, Gary T.
O'Hearn, Peter
Rajamani, Sriram K. | | Series title: | Lecture Notes in Computer Science Ser. | | ISBN: | 978-3-642-15057-9 | | Publication Date: | Aug 2010 | | Publisher: | Springer
| | Book Format: | Ebook | | List Price: | USD $89.99 |
| |