| |
| 2008 | ||
|---|---|---|
| 3 | EE | Jim Davies, David Faitelson, James Welch: Domain-specific Semantics and Data Refinement of Object Models. Electr. Notes Theor. Comput. Sci. 195: 151-170 (2008) |
| 2007 | ||
| 2 | EE | David Faitelson, James Welch, Jim Davies: From Predicates to Programs: The Semantics of a Method Language. Electr. Notes Theor. Comput. Sci. 184: 171-187 (2007) |
| 2005 | ||
| 1 | EE | James Welch, David Faitelson, Jim Davies: Automatic Maintenance of Association Invariants. SEFM 2005: 282-292 |
| 1 | Jim Davies | [1] [2] [3] |
| 2 | James Welch | [1] [2] [3] |