Domain−Specific Semantics and Data Refinement of Object Models
Jim Davies‚ David Faitelson and James Welch
Details
| Book Title |
Brazilian Symposium on Formal Methods (SBMF) |
| Year |
2006 |
Links
Related pages
|
People |
|
|
Projects |
|
|
Activities |