XIsabelle

swMATH30357MaRDI QIDQ42071FDOQ42071

Author name not available (Why is that?)

Cited In (2)

• 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