Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Aichernig, Bernhard and Boiten, E.A. and Butler, Michael and Derrick, John and Groves, Lindsay
Preface: Special Issue on REFINE 2006.
Formal Aspects of Computing, 21
The full text of this publication is not available from this repository.