December 18, 2024

In December 2024, the Formal Methods Group of CSE, IIT Delhi, organized a Winter School on Formal Verification and Program Synthesis. The school was open… Read More »Formal Verification and Program Synthesis Winter School