Browse by Person (creator, editor, contributor, etc.)
Number of items: 3.
Boiten, Eerke and Butler, Michael and Derrick, John and Smith, Graeme
Editorial: Special issue on REFINE 2007.
Formal Aspects of Computing, 22
(The full text of this publication is not available from this repository)
Conference or workshop item