APA (7th ed.) Citation

Gaudel, M. (2011). Checking Models, Proving Programs, and Testing Systems. Tests and Proofs, 6706, 1-13. https://doi.org/10.1007/978-3-642-21768-5_1

Chicago Style (17th ed.) Citation

Gaudel, Marie-Claude. "Checking Models, Proving Programs, and Testing Systems." Tests and Proofs 6706 (2011): 1-13. https://doi.org/10.1007/978-3-642-21768-5_1.

MLA (9th ed.) Citation

Gaudel, Marie-Claude. "Checking Models, Proving Programs, and Testing Systems." Tests and Proofs, vol. 6706, 2011, pp. 1-13, https://doi.org/10.1007/978-3-642-21768-5_1.