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 |
|
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. |
|