APA

Holzmann, G., Joshi, R., & Groce, A. (2010). Swarm Verification Techniques. : IEEE Computer Society.