Browse by Person (creator, editor, contributor, etc.)
Up a level
Multiline CSV (Staff)
Number of items:
How to produce correct software -- an introduction to formal specification and program development by transformations.
Computer Journal, 35 (6). pp. 547-554. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
van den Brand, M.G.J.
van Diepen, N.W.P.
USTOPIA Requirements -- Thoughts on a User-friendly System for Transformation Of Programs In Abstracto.
Periodica Polytechnica: Electrical Engineering, 35 (2). pp. 101-123. ISSN 0324-6000. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
This list was generated on
Fri Mar 6 01:30:22 2015 GMT
University of Kent
About this repository