Verification of Selection and Heap Sort Using Locales

MaRDI QIDQ7361020FDO

Authors Danijela Petrovic

Publication date 11 February 2014

Cites work

• Teaching semantics with a proof assistant: no more LSD trip proofs
• Verification, Model Checking, and Abstract Interpretation

This page was built for software: Verification of Selection and Heap Sort Using Locales