Sherrie Campbell

Supporting the Formal Analysis of Software Systems

Ann E. Kelley Sobel, Sherrie Campbell, A. Sobel, 2008, 2008 International Conference on Computer Science and Software Engineering.

Supporting the Formal Analysis of Software Designs

Ann E. Kelley Sobel, Sherrie Campbell, A. Sobel, 2007, 20th Conference on Software Engineering Education & Training (CSEET'07).