Springer
Lecture Notes in Computer Science
Computer Security

Aichernig, B. K., de Boer, F., & Bonsangue, M. (2011). Formal Methods for Components and Objects", 9th International Symposium, FMCO 2010, Graz,
Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey. Lecture Notes in Computer Science. Springer.