Releases von Gwen Salaun

Cover for Gwen Salaun · Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings - Lecture Notes in Computer Science (Taschenbuch) (2011)
Taschenbuch
2011 edition
Formal Methods for Industrial Cr...
Gwen Salaun