Springer
B. Beckert (Bernhard) , F. Damiani , F.S. de Boer (Frank) , M.M. Bonsangue (Marcello)
doi.org/10.1007/978-3-642-35887-6
Lecture Notes in Computer Science
Formal Methods for Components and Objects
Computer Security

Beckert, B., Damiani, F., de Boer, F., & Bonsangue, M. (Eds.). (2013). Formal methods for components and objects : 10th international symposium, FMCO 2011. In B. Beckert, F. Damiani, F. de Boer, & M. Bonsangue (Eds.), Lecture Notes in Computer Science. Springer. doi:10.1007/978-3-642-35887-6