MPG.eBooks - Search Results - "proving"

Search alternatives:
"proving" » "providing", "improving", "province"

Cover Image

1

Design, Specification and Verification of Interactive Systems ’96 : Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996

Published 1996

Springer Vienna

Table of Contents: “... the Interfaces of Three Theorem Proving Assistants -- Validating Properties of Component-based Graphical User...”