APA (7th ed.) Citation

SpringerLink (Online service), Boca, P., Bowen, J. P., & Siddiqi, J. I. (2010). Formal methods: State of the art and new directions. Springer. https://doi.org/10.1007/978-1-84882-736-3

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Paul Boca, J. P. Bowen, and J. I. Siddiqi. Formal Methods: State of the Art and New Directions. London ; New York: Springer, 2010. https://doi.org/10.1007/978-1-84882-736-3.

MLA (9th ed.) Citation

SpringerLink (Online service), et al. Formal Methods: State of the Art and New Directions. Springer, 2010. https://doi.org/10.1007/978-1-84882-736-3.