Haskabelle

swMATH17039MaRDI QIDQ28900FDOQ28900

Author name not available (Why is that?)

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