Cite Them Right 11th edition - Harvard

Chimento, M. (2019) Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs.

Chicago Manual of Style 17th edition (full note)

Chimento, Mauricio. Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs.

American Psychological Association 7th edition

Chimento, M. (2019). Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs.

Modern Language Association 9th edition

Chimento, M. Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs. 2019.

ISO-690 (author-date, Deutsch)

CHIMENTO, Mauricio, 2019. Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.