SpringerLink (Online service), Boca, P., Bowen, J. P., & Siddiqi, J. (2010). Formal Methods: State of the Art and New Directions. Springer London : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Paul Boca, Jonathan P. Bowen, and Jawed Siddiqi. Formal Methods: State of the Art and New Directions. London: Springer London : Imprint: Springer, 2010.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Formal Methods: State of the Art and New Directions. Springer London : Imprint: Springer, 2010.
Warning: These citations may not always be 100% accurate.
