Giachino, E., Hähnle, R., Boer, F S., & Bonsangue, M M. (2013). Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Berlin, Heidelberg: Springer.
ISBD ZitierstilFormal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue . — Berlin, Heidelberg : Springer, 2013. — Online-Ressource (X, 241 p. 125 illus, online resource). — (Lecture notes in computer science ; 7866). — ISBN 9783642406157
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.