Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci. A Change of Perspective Yields Formal Analysis. In James L. Rash, Christopher Rouff, editors, 34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011. pages 69-76, IEEE Computer Society, 2011. [doi]
Abstract is missing.