Christie Bolton |
 |
- 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.)
[Home
| Search Author
| Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.