APA (7th ed.) Citation

Körner, P., Bendisposto, J., Dunkelau, J., Krings, S., & Leuschel, M. (2021). Integrating formal specifications into applications: The ProB Java API. Formal Methods in System Design: An International Journal, 58(1-2), 160. https://doi.org/10.1007/s10703-020-00351-3

Chicago Style (17th ed.) Citation

Körner, Philipp, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, and Michael Leuschel. "Integrating Formal Specifications into Applications: The ProB Java API." Formal Methods in System Design: An International Journal 58, no. 1-2 (2021): 160. https://doi.org/10.1007/s10703-020-00351-3.

MLA (9th ed.) Citation

Körner, Philipp, et al. "Integrating Formal Specifications into Applications: The ProB Java API." Formal Methods in System Design: An International Journal, vol. 58, no. 1-2, 2021, p. 160, https://doi.org/10.1007/s10703-020-00351-3.