| |
| 2008 | ||
|---|---|---|
| 2 | EE | Sherrie Campbell, Ann E. Kelley Sobel: Supporting the Formal Analysis of Software Systems. CSSE (2) 2008: 776-779 |
| 2007 | ||
| 1 | EE | Ann E. Kelley Sobel, Sherrie Campbell: Supporting the Formal Analysis of Software Designs. CSEE&T 2007: 123-132 |
| 1 | Ann E. Kelley Sobel | [1] [2] |