Domain-specific Semantics and Data Refinement of Object Models
Jim Davies, David Faitelson and James Welch infojournal | Electronic Notes in Theoretical Computer Science |
pages | 151—170 |
volume | 195 |
year | 2008 |
links
BibTeX
DOI (10.1016/j.entcs.2007.08.031)
related pages
|