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 and LEUSCHEL, Michael, 2022. SMT solving for the validation of B and Event-B models. International Journal on Software Tools for Technology Transfer. 1 December 2022. Vol. 24, no. 6, p. 1043-1077. DOI 10.1007/s10009-022-00682-y.

Modern Language Association 9th edition

Schmidt, J., and M. Leuschel. “SMT Solving for the Validation of B and Event-B Models”. International Journal on Software Tools for Technology Transfer, vol. 24, no. 6, Dec. 2022, pp. 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. and 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, pp. 1043-1077.

Warning: These citations may not always be 100% accurate.