Edinburgh Research Explorer

6th ACM SIGPLAN Conference on Certified Programs and Proofs

Event: Conference

Abbreviated titleCPP 2017
Duration16 Jan 2017 - 17 Jan 2017
CityParis
CountryFrance
Degree of recognitionInternational event

ID: 63957630