7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 42-60
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 61-81
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 82-101