Operationally-based program equivalence proofs using LCTRSs
Article in Journal of Logical and Algebraic Methods in Programming (October 2023)
The most recent citing publications are shown below. View all 10 publications that cite this research output on Dimensions.
Article in Journal of Logical and Algebraic Methods in Programming (October 2023)
Article in IEEE Transactions on Software Engineering (April 2023)
Article in Journal of Logical and Algebraic Methods in Programming (April 2023)