Login / Signup
Towards provably correct system synthesis and extension.
Fausto Giunchiglia
Paolo Pecchiari
Alessandro Armando
Published in:
Future Gener. Comput. Syst. (1996)
Keyphrases
</>
provably correct
situation calculus
formal methods
databases
data mining
genetic algorithm
expert systems
search space