Haskabelle

MaRDI QIDQ28900swMATHFDO

Official website http://isabelle.in.tum.de/haskabelle.html

Cited in

(3)

• Lem: reusable engineering of real-world semantics
• Lem
• Verification of the Schorr-Waite algorithm -- from trees to graphs

This page was built for software: Haskabelle