Author of the publication

DOVE: A Tool for Design Oriented Verification and Evaluation.

, , and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 574-575. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Tool for Practical Reasoning about State Machine Designs., , and . Australian Software Engineering Conference, page 16-26. IEEE Computer Society, (1996)Proof Tactics for a Theory of State Machines in a Graphical Environment., , and . CADE, volume 1249 of Lecture Notes in Computer Science, page 366-379. Springer, (1997)DOVE: A Tool for Design Oriented Verification and Evaluation., , and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 574-575. Springer, (1997)XIsabelle: A System Description., , and . CADE, volume 1249 of Lecture Notes in Computer Science, page 400-403. Springer, (1997)The geometry of interaction as a theory of cut elimination with structure-sharing.. University of Oxford, UK, (1995)British Library, EThOS.