Formal Verification of Object-Oriented Software

MLA

Beckert, Bernhard, Takeo Kanade, and Claude Marché. Formal Verification of Object-oriented Software. Springer Berlin Heidelberg, 2011.

APA

Beckert, B., Kanade, T., & Marché, C. (2011). Formal Verification of Object-Oriented Software. Springer Berlin Heidelberg.

Chicago

Beckert, Bernhard, Takeo Kanade, and Claude Marché. Formal Verification of Object-Oriented Software. : Springer Berlin Heidelberg, 2011.