Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Article
Number of items: 2.

Article

Boiten, Eerke Albert and Partsch, H.A. and Tuijnman, D. and Völker, N. (1992) 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)

Boiten, Eerke Albert and van den Brand, M.G.J. and van Diepen, N.W.P. and Koster, C.H.A. and Partsch, H.A. and Völker, N. (1992) 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. (Full text available)
[img]
Preview

This list was generated on Mon May 13 08:51:22 2019 BST.