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