Roberto Giacobazzi
Proceedings of the 7th Workshop on Programming Languages Meets Program Verification
Roberto Giacobazzi · 2013
פרטי הספר
- שנה
- 2013
- שפה
- English
- הוצאה
- Association for Computing Machinery
- מהדורות
- 1
- ISBN
- 9781450318600
מקור הנתונים: Wikidata
