| [1] | Jim Davies, David Faitelson, and James Welch. Domain-specific semantics and data refinement of object models. In Brazilian Symposium on Formal Methods (SBMF), 2006. |
| [2] | David Faitelson, James Welch, and Jim Davies. From predicates to programs: The semantics of a method language. In Proceedings of SBMF 2005. Electronic Notes in Theoretical Computer Science, 2005. To appear. |
| [3] | J. Welch, D. Faitelson, and J. Davies. Automatic maintenance of association invariants. In Proceedings of SEFM. IEEE Computer Society Press, 2005. |
This file has been generated by bibtex2html 1.85.