Subjects: Logic and verification; London; Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs
Record details
Subjects: Logic and verification; London; Source: CPP 2024 ; https://ujm.hal.science/ujm-04222610 ; CPP 2024, Jan 2024, London, United Kingdom