Treffer: A Theorem Proving Approach to Programming Language Semantics
Title:
A Theorem Proving Approach to Programming Language Semantics
Authors:
Source:
2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) ICSE-SEET Software Engineering: Software Engineering Education and Training (ICSE-SEET), 2023 IEEE/ACM 45th International Conference on. :153-165 May, 2023
Relation:
2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET)
Database:
IEEE Xplore Digital Library