Lingva

swMATH13645MaRDI QIDQ25559FDOQ25559

Author name not available (Why is that?)

Described by source

• Lingva: Generating and Proving Program Properties Using Symbol Elimination

Cited In (2)

• Reasoning About Loops Using Vampire in KeY
• A First Class Boolean Sort in First-Order Theorem Proving and TPTP

This page was built for software: Lingva