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: Ozols:Maris_A=
Contributed to:
1997Wrote 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.