APA Citation

Schaffer, K., & Voas, F. What happened to formal methods for security?

Chicago Style Citation

Schaffer, Kim,, and Feffrey Voas. What Happened to Formal Methods for Security?

MLA Citation

Schaffer, Kim,, and Feffrey Voas. What Happened to Formal Methods for Security?

Warning: These citations may not always be 100% accurate.