Supporting the Formal Analysis of Software Systems

Sherrie Campbell, Ann E. Kelley Sobel. Supporting the Formal Analysis of Software Systems. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China. pages 776-779, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.