Number of items: 3.
Article
|
Boiten, Eerke Albert and Denvir, T. and Derrick, John and von Wright, Joakim
(2003)
Editorial: Special Issue on Refinement.
Formal Aspects of Computing,
15
(2).
pp. 101-102.
ISSN 0934-5043.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Conference or workshop item
|
Zammit, Vincent
(1996)
A Mechanisation of Computability Theory in HOL.
In: von Wright, Joakim and Grundy, Jim and Harrison, John, eds.
Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics.
Lecture Notes in Computer Science, 1125.
Springer-Verlag, Turku, Finland
pp. 431-446.
ISBN 3-540-61587-3.
(Full text available)
|
|
Edited book
|
Derrick, John and Boiten, Eerke Albert and Woodcock, Jim and von Wright, Joakim, eds.
(2002)
REFINE 2002: The BCS FACS Refinement Workshop.
Electronic Notes in Theoretical Computer Science, 70
.
Elsevier Science Publishers
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
This list was generated on Tue May 14 11:00:36 2019 BST.
