Specifying and refining programs with Z
- John Wordsworth
- 1988
- ICSE 1988
Publications
Date
Featured collections
Popular topics
4 results for John Wordsworth
SPECIFICATION LANGUAGES AND PRACTICAL PROGRAMMERS.
- John Wordsworth
- 1984
- Colloquium on Specification Languages 1984
Getting the best from formal methods
- John B. Wordsworth
- 1999
- Information and Software Technology
Education in formal methods for software engineering
- John Wordsworth
- 1987
- Information and Software Technology