Formal Methods for Components and Objects
Subtitle: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Publisher: Springer Berlin / Heidelberg
Published: 2013
Language: eng
ISBN-13: 9783642358869
Subjects: Computer science; Computer software; Object-oriented programming (computer science)