Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Leavens, G. T., & Naumann, D. A. (2006). Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs. Computer Science Technical Reports.

ISO-690 (author-date, English)

LEAVENS, Gary T. und NAUMANN, David A., 2006. Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs. Computer Science Technical Reports. 1 Januar 2006.

Modern Language Association 9th edition

Leavens, G. T., und D. A. Naumann. „Behavioral Subtyping Is Equivalent to Modular Reasoning for Object-Oriented Programs“. Computer Science Technical Reports, Januar 2006.

Mohr Siebeck - Recht (Deutsch - Österreich)

Leavens, Gary T./Naumann, David A.: Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs, Computer Science Technical Reports 2006,

Emerald - Harvard

Leavens, G.T. und Naumann, D.A. (2006), „Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs“, Computer Science Technical Reports.

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