Madelaine, Eric books & textbook
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Programming and Software Engineering)
Springer /2015-02-18 Paperback / 395 Pages
isbn-10: 3319153161 / isbn-13: 9783319153162
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey (Lecture Notes in Computer Science, 5751)
Bonsangue, Marcello M. Madelaine, Eric
Springer /2009-09-07 Paperback / 309 Pages
isbn-10: 3642041663 / isbn-13: 9783642041662
