Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Using Relational and Behavioural Semantics in the Verification of Object Models

Using Relational and Behavioural Semantics in the Verification of Object Models

Christie Bolton and Jim Davies

Crossref
DBLP:conf/fmoods/2000
Pages
163−182
Year
2000

Links

See Also

Back to Top