Aseem Rastogi. Proof-oriented programming for high-assurance systems. In Sonali Agarwal, Abhik Roychoudhury, Rahul Purandare, Saurabh Tiwari 0001, Lov Kumar, editors, 16th Innovations in Software Engineering Conference, ISEC2023, Allahabad, India, February 23-25, 2023. ACM, 2023. [doi]
Abstract is missing.