,
Springer
F.S. de Boer (Frank) , M.M. Bonsangue (Marcello) , S. Hallerstede , M. Leuschel
doi.org/10.1007/978-3-642-17071-3_3
Lecture Notes in Computer Science
Modelling and Analysis of evolutionary structures for distributed services
International Symposium on Formal Methods for Components and Objects
Computer Security

Grabe, I., Jaghoori, M. M., Klein, J., Klüppelholz, S., Stam, A., Baier, C., … Yi, W. (2010). The Credo Methodology (Extended Version). In F. de Boer, 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