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
Related pages
|
People |