Login / Signup
Unifying Program Refinement Calculi.
Jim Woodcock
Published in:
Abstract State Machines (2005)
Keyphrases
</>
genetic algorithm
fuzzy logic
computer programs
programming environment
databases
search engine
website
search algorithm
test cases
static analysis
program execution