Springer
F.S. de Boer (Frank) , M.M. Bonsangue (Marcello) , S. Graf , W.P. de Roever
Lecture Notes in Computer Science
International Symposium on Formal Methods for Components and Objects
Computer Security

de Boer, F.S, Bonsangue, M.M, Graf, S, & de Roever, W.P (Eds.). (2007). Proceedings of Formal Methods for Components and Objects, FMCO 2006 -- revised lectures. In F.S de Boer, M.M Bonsangue, S Graf, & W.P de Roever (Eds.), Proceedings of Formal Methods for Components and Objects, FMCO 2006 -- revised lectures. Springer.