University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Using Relational and Behavioural Semantics in the Verification of Object Models

Christie Bolton and Jim Davies

Details

Crossref

DBLP:conf/fmoods/2000

Pages

163−182

Year

2000

Links

BibTeX

Related pages

People