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 dx.doi.org/10.1007/978-3-642-17071-3_3
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
Citation
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