Paperback Book
显示无货商品

Corina S Pasareanu的作品

Cover for Corina S Pasareanu · 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 (Paperback Book) [2013 edition] (2013)

Formal Aspects of Component Soft... (2013)

Corina S Pasareanu

Cover for Corina S Pasareanu · Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2009 edition] (2009)

Model Checking Software: 16th In... (2009)

Corina S Pasareanu