ISBN 9783319929699 books & textbook
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, ... Computer Science and General Issues)
Johnsen, Einar Broch Schaefer, Ina
Springer /2018-05-30 Paperback / 317 Pages
isbn-10: 3319929690 / isbn-13: 9783319929699
