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

Penix, J., Visser, W., & Havelund, K. (2000). Using Runtime Analysis to Guide Model Checking of Java Programs. https://doi.org/10.1007/10722468_15

ISO-690 (author-date, English)

PENIX, John, VISSER, Willem und HAVELUND, Klaus, 2000. Using Runtime Analysis to Guide Model Checking of Java Programs.

Modern Language Association 9th edition

Penix, J., W. Visser, und K. Havelund. Using Runtime Analysis to Guide Model Checking of Java Programs. 2000, https://doi.org/10.1007/10722468_15.

Mohr Siebeck - Recht (Deutsch - Österreich)

Penix, John/Visser, Willem/Havelund, Klaus: Using Runtime Analysis to Guide Model Checking of Java Programs., 2000.

Emerald - Harvard

Penix, J., Visser, W. und Havelund, K. (2000), Using Runtime Analysis to Guide Model Checking of Java Programs., Bd. , verfügbar unter:https://doi.org/10.1007/10722468_15.

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