2007-12-01
Proceedings of Formal Methods for Components and Objects, FMCO 2006 -- revised lectures
Publication
Publication
Presented at the
International Symposium on Formal Methods for Components and Objects
Additional Metadata | |
---|---|
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 | |
Organisation | 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.
|