Cited By
View all- Durán FEscobar SMeseguer JSapiña J(2024)NuITP: An Inductive Theorem Prover for Equational Program VerificationProceedings of the 26th International Symposium on Principles and Practice of Declarative Programming10.1145/3678232.3678236(1-11)Online publication date: 9-Sep-2024
- Meseguer J(2022)Building Correct-by-Construction Systems with Formal PatternsRecent Trends in Algebraic Development Techniques10.1007/978-3-031-43345-0_1(3-24)Online publication date: 28-Jun-2022
- Meseguer JSkeirik S(2022)On Ground Convergence and Completeness of Conditional Equational Program HierarchiesRewriting Logic and Its Applications10.1007/978-3-031-12441-9_10(191-211)Online publication date: 2-Apr-2022
- Show More Cited By