Towards Formal Proof Script Refactoring.

Iain Whiteside David Aspinall Lucas Dixon Gudmund Grov

Published in: Calculemus/MKM (2011)

Keyphrases

formal proof
theorem prover
source code
software systems
web services
object oriented systems
data quality
databases
mobile devices
language identification
software engineering
expert systems
learning environment
multi agent
bayesian networks
database systems
real world
neural network