Computing Publications

Publications Home » Refinement is complete for implem...

Refinement is complete for implementations

Michael Huth

Journal Article
Formal Aspects of Computing
Volume 17
Issue 2
pp.113–137
2005
Springer
ISSN 0934-5043
DOI 10.1007/s00165-005-0063-z
PDF of full publication (405 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Copyright notice

Attached PDF document is preliminary version only.

N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.