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

Person: Maris A. Ozols

DBLP DBLP: Ozols:Maris_A=

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.