Refinement is complete for implementations
- Journal Article
- Formal Aspects of Computing
- Volume 17
- Issue 2
- 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.
- Conditions for downloading publications from this site.