swMATH9867MaRDI QIDQ21846FDOQ21846
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-642-22110-1_38
Cited In (9)
- Constraint-based relational verification
- ICE-based refinement type discovery for higher-order functional programs
- Alloy*: a general-purpose higher-order relational constraint solver
- Automatically disproving fair termination of higher-order functional programs
- Horn clause solvers for program verification
- On recursion-free Horn clauses and Craig interpolation
- Automatic Termination Verification for Higher-Order Functional Programs
- HorSatP
- TravMC2
This page was built for software: HMC
