Verification of Object-Oriented Software. The KeY Approach

MLA

Beckert, Bernhard, et al. Verification of Object-oriented Software. The Key Approach. Springer Berlin Heidelberg, 2007.

APA

Beckert, B., Carbonell, J. G, Hähnle, R., Schmitt, P. H, Siekmann, J., Leino, M., & Rustan, K. (2007). Verification of Object-Oriented Software. The KeY Approach. Springer Berlin Heidelberg.

Chicago

Beckert, Bernhard, Jaime G Carbonell, Reiner Hähnle, Peter H Schmitt, Jörg Siekmann, Matti Leino, and K Rustan. Verification of Object-Oriented Software. The Key Approach. : Springer Berlin Heidelberg, 2007.