Formal Verification of Object-Oriented Software

MLA

Hutchison, David, et al. Formal Verification of Object-oriented Software. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Damiani, F., & Gurov, D. (2012). Formal Verification of Object-Oriented Software. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Ferruccio Damiani, and Dilian Gurov. Formal Verification of Object-Oriented Software. : Springer Berlin Heidelberg, 2012.