ISBN 3319229680 books & textbook
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Programming and Software Engineering)
Calinescu, Radu Rumpe, Bernhard
Springer /2015-08-21 Paperback / 380 Pages
isbn-10: 3319229680 / isbn-13: 9783319229683
