Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Conference or workshop item
Number of items: 2.

Conference or workshop item

Boiten, E.A. and Derrick, J. (1998) Grey Box Data Refinement. In: International Refinement Workshop & Formal Methods Pacific '98, 1998; Sep, Canberra, Australia.
[img]
Preview

Zammit, Vincent (1996) A Mechanisation of Computability Theory in HOL. In: Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics.
[img]
Preview
[img]
Preview

This list was generated on Sat May 25 11:51:06 2013 BST.
University of Kent | About this repository | Feedback | Latest additions