Corina S. Pasareanu

Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings
Corina S. Pasareanu · 2009
פרטי הספר
- שנה
- 2009
- הוצאה
- Springer
- מהדורות
- 1
- ISBN
- 9783642026515
מקור הנתונים: Wikidata

Corina S. Pasareanu · 2009
מקור הנתונים: Wikidata