Springer
F. Arbab (Farhad) , P.C. Ölveczky
Lecture Notes in Computer Science
Computer Security

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