Program Construction by Refinements Preserving Correctness.

Gaetano Aurelio Lanzarone Mario Ornaghi

Published in: Comput. J. (1975)

Keyphrases

open source
control program
genetic algorithm
metadata
website
relational databases
hidden markov models
source code
evaluation function
computer programs
construction process
java programs