2009-09-01
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008--- State-of-the-Art Survey
Publication
Publication
Presented at the
International Symposium on Formal Methods for Components and Objects, Sophia Antipolis - France
Additional Metadata | |
---|---|
Springer | |
F.S. de Boer (Frank) , M.M. Bonsangue (Marcello) , E. Madelaine | |
International Symposium on Formal Methods for Components and Objects | |
Organisation | 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. |