Software (theme 1)
Springer
F. Arbab (Farhad) , P.C. Ölveczky
Lecture Notes in Computer Science
FACS 2011. September 14-16, Oslo, Norway
Computer Security

Arbab, F, & Ölveczky, P.C (Eds.). (2012). Post-proceedings of the 8th International Symposium on Formal Aspects of Component Software. (F Arbab & P.C Ölveczky, Eds.)Lecture Notes in Computer Science. Springer.