Daniel Tuijnman

Publication Activity (10 Years)

Years Active: 1992-1992
Publications (10 Years): 0

University of Ulm (PHD)

Education History

University of Ulm

PHD

Publications

Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker
How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. Comput. J. 35 (6) (1992)