Login
Admin
Dashboards
Simple search
|
Advanced search
Home
Browse
Latest additions
Help
Contact
Browse by Person (creator, editor, contributor, etc.)
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Multiline CSV (Staff)
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
Group by:
Item Type
|
Date
|
No Grouping
2003
Number of items:
1
.
2003
Boiten, Eerke Albert
and
De Roever, Willem-Paul
(2003)
Getting to the Bottom of Relational Refinement: Relations and Correctness, Partial and Total.
In: 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7). (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 Apr 24 19:57:32 2018 BST
.