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

Cavalcanti, A.L.C. and Sampaio, A. and Woodcock, J.C.P. (1999) An Inconsistency in Procedures, Parameters and Substitution in the Refinement Calculus. Science of Computer Programming, 33 (1). pp. 87-96. ISSN 0167-6423 . (The full text of this publication is not available from this repository)

Cavalcanti, A.L.C. and Sampaio, A. and Woodcock, JCP (1998) Procedures and Recursion in the Refinement Calculus. Journal of the Brazilian Computer Society, 5 (1). pp. 1-15. ISSN 0104-6500. (The full text of this publication is not available from this repository)

This list was generated on Thu Apr 24 12:06:16 2014 BST.