Refinement Calculus, Part I: Sequential Nondeterministic Programs.

Ralph-Johan Back Joakim von Wright

Published in: REX Workshop (1989)

Keyphrases

provably correct
table of contents
refinement process
finite state
computer programs
step wise
real time
genetic algorithm
initial state
finite automata
computer algebra