Saving user interactions by automated theorem
Some of the slides of a talk held at the
Colloquium of the Faculty of Computer Science, University of New
Brunswick, Fredericton, New Brunswick, Canada, October 1998.
More technical slides (Tools 98,
the coupling of the KIV
Software verification system with the PROTEIN