A Change of Perspective Yields Formal Analysis.

Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci

Browse the full SEW paper archive.