Formal Methods for Components and Objects [E-Book] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers / edited by Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue.
Aichernig, Bernhard K.
Boer, Frank S. / Bonsangue, Marcello M.
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2012
online resource
englisch
9783642252716
Lecture notes in computer science ; 6957
Full Text
Description not available.