Additional Metadata
THEME Software (theme 1), Software (theme 1)
Publisher Springer
Editor F.S. de Boer (Frank) , M.M. Bonsangue (Marcello) , S. Hallerstede , M. Leuschel
Persistent URL
Series Lecture Notes in Computer Science
Project Modelling and Analysis of evolutionary structures for distributed services
Conference International Symposium on Formal Methods for Components and Objects
Grabe, I, Jaghouri, M.M, Klein, J, Klüppelholz, S, Stam, A, Baier, C, … Yi, W. (2010). The Credo Methodology (Extended Version). In F.S de Boer, M.M Bonsangue, S Hallerstede, & M Leuschel (Eds.), Proceedings of Formal Methods for Components and Objects 2009 (8) (pp. 41–69). Springer. doi:10.1007/978-3-642-17071-3_3