Number of items: 1.
Article
|
Boiten, Eerke and Butler, Michael and Derrick, John and Smith, Graeme
(2010)
Editorial: Special issue on REFINE 2007.
Formal Aspects of Computing, 22
(1).
pp. 182-196.
ISSN 0934-5043.
The full text of this publication is not available from this repository.
|
|
This list was generated on Tue Jun 18 21:30:20 2013 BST.
