| Main Title |
Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / |
| Other Authors |
|
| Publisher |
Springer, |
| Year Published |
2014 |
| OCLC Number |
877906363 |
| ISBN |
9783642541070; 3642541070 |
| Subjects |
Computer software--Verification--Congresses ;
Computer software--Quality control--Congresses ;
Compilers (Computer programs)--Congresses
|
| Holdings |
| Library |
Call Number |
Additional Info |
Location |
Last
Modified |
Checkout
Status |
| ELBM |
QA76.76.V47V47 2014 |
|
AWBERC Library/Cincinnati,OH |
10/13/2015 |
|
| Collation |
xvi, 345 pages : illustrations ; 24 cm. |
| Notes |
Includes bibliographical references and author index. |
