XIsabelle

swMATH30357MaRDI QIDQ42071FDOQ42071

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: XIsabelle