ISBN 3319101803 books & textbook
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Programming and Software Engineering)
Albert, Elvira Sekerinski, Emil
Springer /2014-09-15 Paperback / 402 Pages
isbn-10: 3319101803 / isbn-13: 9783319101804
