XIsabelle

MaRDI QIDQ42071swMATHFDO

Official website https://link.springer.com/chapter/10.1007/3-540-63104-6_38

Cited in

(4)

• Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
• Veracity
• Jape
• Proof tactics for a theory of state machines in a graphical environment

This page was built for software: XIsabelle