ISBN 9783642405600 books & textbook
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Programming and Software Engineering)
Hierons, Robert M. Merayo, Mercedes G. Bravetti, Mario
Springer /2013-09-12 Paperback / 339 Pages
isbn-10: 3642405606 / isbn-13: 9783642405600
