Subhajit Roy 0001. A Theorem Proving Approach to Programming Language Semantics. In 45th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, SEET@ICSE 2023, Melbourne, Australia, May 14-20, 2023. pages 153-165, IEEE, 2023. [doi]
Abstract is missing.