Achour, S. und Benattou, M. (2018) „Constraint Based Testing and Verification of Java Bytecode Programs“, in. doi:10.1109/CIST.2018.8596397.
Chicago Manual of Style 17th edition (full note)Achour, Safaa, und Mohammzed Benattou. „Constraint Based Testing and Verification of Java Bytecode Programs“. In . https://doi.org/10.1109/CIST.2018.8596397.
American Psychological Association 7th editionAchour, S., & Benattou, M. (2018, Oktober 1). Constraint Based Testing and Verification of Java Bytecode Programs. https://doi.org/10.1109/CIST.2018.8596397
Modern Language Association 9th editionAchour, S., und M. Benattou. Constraint Based Testing and Verification of Java Bytecode Programs. 2018, https://doi.org/10.1109/CIST.2018.8596397.
ISO-690 (author-date, Deutsch)ACHOUR, Safaa und Mohammzed BENATTOU, 2018. Constraint Based Testing and Verification of Java Bytecode Programs. In: . 1 Oktober 2018