Proof Tactics for a Theory of State Machines in a Graphical Environment.

Katherine A. Eastaughffe, Maris A. Ozols, Anthony Cant

Browse the full CADE paper archive.