Springer
F.S. de Boer (Frank) , M.M. Bonsangue (Marcello) , E. Madelaine
International Symposium on Formal Methods for Components and Objects
Computer Security

de Boer, F., Bonsangue, M., & Madelaine, E. (Eds.). (2009). Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008--- State-of-the-Art Survey. In F. de Boer, M. Bonsangue, & E. Madelaine (Eds.), Proceedings of Formal Methods for Components and Objects 2008 (pp. 1–302). Springer.