- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 2 |      | Sherrie Campbell, Ann E. Kelley Sobel: Supporting the Formal Analysis of Software Systems. CSSE (2) 2008: 776-779 |
| 2007 | ||
| 1 | | 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] |