Elsevier
M.M. Bonsangue (Marcello) , F.S. de Boer (Frank)
Theoretical Computer Science
International Symposium on Formal Methods for Components and Objects
Computer Security

Bonsangue, M., & de Boer, F. (Eds.). (2005). Formal Methods for Components and Objects - Pragmatic aspects and applications. In M. Bonsangue & F. de Boer (Eds.), Theoretical Computer Science (Vol. 343, pp. 283–530). Elsevier.