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

Bonsangue, M., de Boer, F., Graf, S., & de Roever, W. P. (Eds.). (2008). 6th iternational symposium on Formal Methods for Components and Objects (FMCO 2007) -- State-of-the-Art Survey. In M. Bonsangue, F. de Boer, S. Graf, & W. P. de Roever (Eds.), Lecture Notes in Computer Science. Springer.