Ann E. Kelley Sobel, Sherrie Campbell. Supporting the Formal Analysis of Software Designs. In 20th Conference on Software Engineering Education and Training (CSEE&T 2007), 3-5 July 2007, Dublin, Ireland. pages 123-132, IEEE Computer Society, 2007. [doi]
Abstract is missing.