9th ACM SIGPLAN International Conference on Certified Programs and Proofs 2020
Event name
9th ACM SIGPLAN International Conference on Certified Programs and Proofs 2020
Event type
Event for scientific audience
Start date
20-01-2020
End date
21-01-2020
Location
New Orleans
Country
United States
Event format Veranstaltungsformat
On Site
Access Type
Subject
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).