Cited By
View all- Rubio RRiesco A(2024)Maude2Lean: Theorem proving for Maude specifications using LeanJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2024.101005(101005)Online publication date: Aug-2024
- Bae KEscobar SLópez-Rueda RMeseguer JSapiña J(2024)Verifying Invariants by Deductive Model CheckingRewriting Logic and Its Applications10.1007/978-3-031-65941-6_1(3-21)Online publication date: 6-Apr-2024