Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

שנה

2017

שפה

English

הוצאה

Association for Computing Machinery

מהדורות

1

ISBN

9781450347051

מקור הנתונים: Wikidata