Haskabelle

swMATH17039MaRDI QIDQ28900FDOQ28900

Author name not available (Why is that?)

Cited In (2)

• Lem: reusable engineering of real-world semantics
• Verification of the Schorr-Waite Algorithm – From Trees to Graphs

This page was built for software: Haskabelle