Formal Methods: State of the Art and New Directions

MLA

Paul Boca, et al. Formal Methods: State of the Art and New Directions. Springer London, 2010.

APA

Paul Boca, P. Boca, Boca, P., Bowen, J. P, & Siddiqi, J. (2010). Formal Methods: State of the Art and New Directions. Springer London.

Chicago

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