APA (7th ed.) Citation

Boca, P. P., Bowen, J. P., & Siddiqi, J. I. (2010). Formal methods : state of the art and new directions / Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, editors: State of the art and new directions. Springer.

Chicago Style (17th ed.) Citation

Boca, Paul P., Jonathan P. Bowen, and Jawed I. Siddiqi. Formal Methods : State of the Art and New Directions / Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, Editors: State of the Art and New Directions. London ; New York: Springer, 2010.

MLA (9th ed.) Citation

Boca, Paul P., et al. Formal Methods : State of the Art and New Directions / Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, Editors: State of the Art and New Directions. Springer, 2010.

Warning: These citations may not always be 100% accurate.