ISBN 3319121537 books & textbook
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Programming and Software Engineering)
Giannakopoulou, Dimitra Kroening, Daniel
Springer /2014-10-28 Paperback / 297 Pages
isbn-10: 3319121537 / isbn-13: 9783319121536