Jean-Christophe Filliatre
Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification
Jean-Christophe Filliatre · 2010
פרטי הספר
- שנה
- 2010
- שפה
- English
- הוצאה
- Association for Computing Machinery
- מהדורות
- 1
- ISBN
- 9781605588902
מקור הנתונים: Wikidata