Supporting the Formal Analysis of Software Designs. - Ann E. Kelley Sobel; Sherrie Campbell (CSEE&T, 2007)

Supporting the Formal Analysis of Software Systems. - Sherrie Campbell; Ann E. Kelley Sobel (CSSE (2), 2008)