Sriram K. Rajamani. Formal System Design and Verification: A Perspective. In Sanjeev Jain, Atul Gupta, David Lo 0001, Diptikalyan Saha, Richa Sharma, editors, ISEC 2020: 13th Innovations in Software Engineering Conference, Jabalpur, India, February 27-29, 2020. ACM, 2020. [doi]
Abstract is missing.