Søkte etter:

3 treff

Refinement calculus : a systematic introduction
Ralph-Johan Back, Joakim von Wright
Bok Engelsk 1998
Correctness preserving program refinements : proof theory and applications
Back, Ralph-Johan
Bok Engelsk 1980
On the correctness of refinement steps in program development
Ralph-Johan Back
Bok Språk ikke angitt 1978