| |
| 1992 | ||
|---|---|---|
| 1 | 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): 547-554 (1992) | |
| 1 | Eerke A. Boiten | [1] |
| 2 | Helmuth Partsch | [1] |
| 3 | Norbert Völker | [1] |