BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
Collaborated with:
K.A.Eastaughffe M.A.Ozols
Talks about:
descript (1) isabell (1) graphic (1) environ (1) theori (1) tactic (1) system (1) machin (1) state (1) proof (1)

Person: Anthony Cant

DBLP DBLP: Cant:Anthony

Contributed to:

CADE 19971997

Wrote 2 papers:

CADE-1997-EastaughffeOC #formal method #proving #state machine #visual notation
Proof Tactics for a Theory of State Machines in a Graphical Environment (KAE, MAO, AC), pp. 366–379.
CADE-1997-OzolsCE #named
XIsabelle: A System Description (MAO, AC, KAE), pp. 400–403.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.