Title:
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Author:
Beckert, Bernhard. editor.
ISBN:
9783642358876
Physical Description:
X, 356 p. 129 illus. online resource.
Series:
Lecture Notes in Computer Science, 7542
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-35887-6Copies: 1