APA (7th ed.) Citation

Roth, A. (2006). Specification and verification of object-oriented software components. KIT Scientific Publishing.

Chicago Style (17th ed.) Citation

Roth, Andreas. Specification and Verification of Object-oriented Software Components. KIT Scientific Publishing, 2006.

MLA (9th ed.) Citation

Roth, Andreas. Specification and Verification of Object-oriented Software Components. KIT Scientific Publishing, 2006.

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