- Christie Bolton, Jim Davies: Using Relational and Behavioural Semantics in the Verification of Object Models, Kluwer Academic Publishers, 2000, (BibTeX entry).
Search other Bibliographies
- dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)
| Search Author
| Search Title]
Contact: Paul Ziemann (email@example.com), last update: 10.5.2005.