Sherrie Campbell

According to our database, Sherrie Campbell authored at least 2 papers between 2007 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Supporting the Formal Analysis of Software Systems.

Sherrie Campbell, Ann E. Kelley Sobel

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

Supporting the Formal Analysis of Software Designs.

Ann E. Kelley Sobel, Sherrie Campbell

Proceedings of the 20th Conference on Software Engineering Education and Training (CSEE&T 2007), 2007