Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings Pasareanu, Corina S Heftet / 2009 / Engelsk
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers Pasareanu, Corina S Heftet / 2013 / Engelsk
