Login / Signup
Sherrie Campbell
Publication Activity (10 Years)
Years Active: 2007-2008
Publications (10 Years): 0
</>
Publications
</>
Sherrie Campbell
,
Ann E. Kelley Sobel
Supporting the Formal Analysis of Software Systems.
CSSE (2)
(2008)
Ann E. Kelley Sobel
,
Sherrie Campbell
Supporting the Formal Analysis of Software Designs.
CSEE&T
(2007)