ISBN 9783642338250 books & textbook
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Programming and Software Engineering)
Eleftherakis, George Hinchey, Mike Holcombe, Mike
Springer /2012-08-28 Paperback / 398 Pages
isbn-10: 3642338259 / isbn-13: 9783642338250
