Suchergebnisse für "Corina S Pasareanu/Gwen Salaün"

Formal Aspects of Component Software

9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13,2012.Revised Selected Papers, Lecture Notes in Computer Science 7684 - Programming and Software Engineering

Corina S Pasareanu/Gwen Salaün

Springer Verlag GmbH