Springer
F. Arbab (Farhad) , P.C. Ölveczky
Lecture Notes in Computer Science
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.