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
Jump to:
Conference or workshop item
Number of items:
1
.
Conference or workshop item
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
Thu Apr 19 19:55:28 2018 BST
.