Back, Ralph-Johan
Ralph-Johan Back
Back, Ralph-Johan, 1949-
VIAF ID: 10022711 ( Personal )
Permalink: http://viaf.org/viaf/10022711
Preferred Forms
- 200 _ | ‡a Back ‡b Ralph-Johan
-
- 100 1 _ ‡a Back, Ralph-Johan
-
-
-
-
- 100 1 0 ‡a Back, Ralph-Johan
-
- 100 0 _ ‡a Ralph-Johan Back
- 100 0 _ ‡a Ralph-Johan Back
4xx's: Alternate Name Forms (9)
Works
Title | Sources |
---|---|
Correctness preserving program refinements : proof theory and applications | |
On the correctness of refinement steps in program development | |
Refinement calculus : a systematic introduction | |
Transactions on computational systems biology XI |