db/conf/cpp/index.html CPP International Conference on <k/>Certified Programs and Proofs https://dl.acm.org/conference/cpp Q105699710