APA

(20032008). Formal Methods in Security Engineering. New York, NY: Association for Computing Machinery.

Chicago

20032008. Formal Methods in Security Engineering. New York, NY: Association for Computing Machinery.

Harvard

(20032008). Formal Methods in Security Engineering. New York, NY: Association for Computing Machinery.

MLA

Formal Methods in Security Engineering. New York, NY: Association for Computing Machinery. 20032008.