Corina S. Păsăreanu
2 published titles
Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642358609
- Springer
- 2013
- Details
Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings
(Contributor)
1 edition
- ISBN: 9783319216676
- Springer
- 2015
- Details
