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

Group by: Item Type | Date | No Grouping

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 Sun May 19 07:50:32 2013 BST.