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