CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
Book title Buchtitel
CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
ISBN
9781450370974
Editor Herausgeber_in
Publisher Herausgeber
Association for Computing Machinery
ACM
ACM
Place of publishing Erscheinungsort
New York, NY, USA
New York, NY, USA
New York, NY, USA
Access Type
Subject
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).