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: 3.

Article

Boiten, E.A. and Derrick, J. and Schellhorn, G. (2011) Preface: Selected papers of the Refinement Workshop Turku (2008). Science of Computer Programming, 76 (9). pp. 182-196. ISSN 0167-6423. (The full text of this publication is not available from this repository)

Boiten, E.A. and Derrick, J. and Schellhorn, G. (2008) Preface: REFINE 2008 Proceedings. Electronic Notes in Theoretical Computer Science, 214 . ISSN 1571-0661. (The full text of this publication is not available from this repository)

Boiten, E.A. and Derrick, J. and Schellhorn, G. (2007) Relational Concurrent Refinement II: Internal Operations and Outputs. Formal Aspects of Computing, online . ISSN 0934-5043. (The full text of this publication is not available from this repository)

This list was generated on Thu Apr 24 12:09:59 2014 BST.