https://conf.researchr.org/venue/CPP-2026/POPL-2026-venue
Venue le Couvent des Jacobins - CPP 2026
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and...
le couvent des jacobinsvenuecpp