2011
Formal Methods for Components and Objects", 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey
Publication
Publication
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| Organisation | Computer Security |
|
Aichernig, B. K., de Boer, F., & Bonsangue, M. (2011). Formal Methods for Components and Objects", 9th International Symposium, FMCO 2010, Graz,
Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey. Lecture Notes in Computer Science. Springer. |
|