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, E.A. 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 available from this repository)

Boiten, E.A. 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 Ser. El. Eng., 35 (2). pp. 101-123. (The full text of this publication is not available from this repository)

This list was generated on Wed Apr 23 16:41:56 2014 BST.