ISBN 9783319336114 books & textbook
Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and ... Papers (Programming and Software Engineering)
Hildebrandt, Thomas Ravara, António van der Werf, Jan Martijn Weidlich, Matthias
Springer /2016-04-20 Paperback / 184 Pages
isbn-10: 3319336118 / isbn-13: 9783319336114
