J. von Wright

Program Reenement by Theorem Prover

J. von Wright, 1994 .

Mechanizing The Temporal Logic Of Actions In HOL

J. von Wright, J. von Wright, 1991, 1991., International Workshop on the HOL Theorem Proving System and Its Applications.

Data Reenement with Stuttering

J. von Wright, 1992 .

Stepwise Derivation of a Parallel Matrix Multiplication AlgorithmJ

J. von Wright, 1989 .

Distance tutorials in a systems design course

J. von Wright, 2000, ITiCSE '00.