CPP (Conference) - ECU Libraries Catalog

Start Over

You searched for: author CPP (Conference)

Showing 1 - 9 of 9 results

Search Results

Cover image for Certified programs and proofs

Certified programs and proofs

by CPP (Conference)
2011
Format: Electronic

Location
Access Content Online

Cover image for CPP '16

CPP '16

by Avigad, Jeremy
2016
Format: Electronic

Location
Access Content Online

Cover image for CPP '17

CPP '17

by Bertot, Yves
2017
Format: Electronic

Location
Access Content Online

Cover image for CPP '18

CPP '18

by Andronick, June
2018
Format: Electronic

Location
Access Content Online

Cover image for CPP '15

CPP '15

by Languages, ACM Special Interest Group on Programming
2015
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs

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

by Mahboubi, Assia
2019
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs

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

by Hrîcu, Catalin
2021
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs

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

by Popescu, Andrei
2022
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs

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

by Krebbers, Robbert
2023
Format: Electronic

Location
Access Content Online