QuickSpec

swMATH19206MaRDI QIDQ31036FDOQ31036

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007/978-3-642-13977-2_3

Cited In (15)

• IsaCoSy
• Proving properties of functional programs by equality saturation
• QuickCheck
• HipSpec
• Zeno
• Hipster
• Graphsc
• Pirate
• TIP
• MATHsAiD
• Refal
• Lemma discovery for induction. A survey
• TIP: tools for inductive provers
• Hipster: integrating theory exploration in a proof assistant
• Quick specifications for the busy programmer

This page was built for software: QuickSpec