| |
| | Daniel Jackson (Site not responding. Last check: 2007-11-01) |
 | | Daniel Jackson and David A. Ladd, ``Semantic Diff: A Tool for Summarizing the Effects of Modifications,'' submitted to International Conference on Software Maintenance, Victoria, BC, Canada, Sept. 1994. |
 | | Daniel Jackson, ``Abstract Model Checking of Infinite Specifications,'' submitted to FME'94, Barcelona, Sept. 1994. |
 | | Daniel Jackson, ``Abstract Analysis with Aspect,'' International Symposium on Software Testing and Analysis, Cambridge, MA, June 1993. |
| www.cs.cmu.edu /~Compose/html/arpa_brief_6_95/node8.html (408 words) |
|