Proof general in Eclipse: system and architecture overview.

David Aspinall Daniel Winterstein Christoph Lüth Ahsan Fayyaz

Published in: ETX (2006)

Keyphrases

special case
real time
management system
databases
source code
closely related
decision trees
data structure
open source
formal model
genetic algorithm
information systems
search algorithm
software architecture
design considerations