Domain−specific Semantics and Data Refinement of Object Models
Jim Davies‚ David Faitelson and James Welch
Details
| Journal |
Electronic Notes in Theoretical Computer Science |
| Pages |
151–170 |
| Volume |
195 |
| Year |
2008 |
Links
DOI (10.1016/j.entcs.2007.08.031)
Related pages
|
People |
|
|
Projects |
|
|
Activities |