APA (7th ed.) Citation

Wolf, F. A., Schwerhoff, M., & Müller, P. (2022). Concise outlines for a complex logic: A proof outline checker for TaDA. Formal Methods in System Design, 61(1), 110. https://doi.org/10.1007/s10703-023-00427-w

Chicago Style (17th ed.) Citation

Wolf, Felix A., Malte Schwerhoff, and Peter Müller. "Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA." Formal Methods in System Design 61, no. 1 (2022): 110. https://doi.org/10.1007/s10703-023-00427-w.

MLA (9th ed.) Citation

Wolf, Felix A., et al. "Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA." Formal Methods in System Design, vol. 61, no. 1, 2022, p. 110, https://doi.org/10.1007/s10703-023-00427-w.