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]
@inproceedings{Rastogi23, title = {Proof-oriented programming for high-assurance systems}, author = {Aseem Rastogi}, year = {2023}, doi = {10.1145/3578527.3581769}, url = {https://doi.org/10.1145/3578527.3581769}, researchr = {https://researchr.org/publication/Rastogi23}, cites = {0}, citedby = {0}, booktitle = {16th Innovations in Software Engineering Conference, ISEC2023, Allahabad, India, February 23-25, 2023}, editor = {Sonali Agarwal and Abhik Roychoudhury and Rahul Purandare and Saurabh Tiwari 0001 and Lov Kumar}, publisher = {ACM}, isbn = {979-8-4007-0064-4}, }