American Psychological Association 6th edition

Schmidt, J., & Leuschel, M. (2022). SMT solving for the validation of B and Event-B models. International Journal on Software Tools for Technology Transfer, 24(6), 1043-1077. https://doi.org/10.1007/s10009-022-00682-y

ISO-690 (author-date, English)

SCHMIDT, Joshua und LEUSCHEL, Michael, 2022. SMT solving for the validation of B and Event-B models. International Journal on Software Tools for Technology Transfer. 1 Dezember 2022. Vol. 24, no. 6, p. 1043-1077. DOI 10.1007/s10009-022-00682-y.

Modern Language Association 9th edition

Schmidt, J., und M. Leuschel. „SMT Solving for the Validation of B and Event-B Models“. International Journal on Software Tools for Technology Transfer, Bd. 24, Nr. 6, Dezember 2022, S. 1043-77, https://doi.org/10.1007/s10009-022-00682-y.

Mohr Siebeck - Recht (Deutsch - Österreich)

Schmidt, Joshua/Leuschel, Michael: SMT solving for the validation of B and Event-B models, International Journal on Software Tools for Technology Transfer 2022, 1043-1077.

Emerald - Harvard

Schmidt, J. und Leuschel, M. (2022), „SMT solving for the validation of B and Event-B models“, International Journal on Software Tools for Technology Transfer, Vol. 24 No. 6, S. 1043-1077.

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