2012
Post-proceedings of the 8th International Symposium on Formal Aspects of Component Software
Publication
Publication
Additional Metadata | |
---|---|
Springer | |
F. Arbab (Farhad) , P.C. Ölveczky | |
Lecture Notes in Computer Science | |
Organisation | 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. |