Concise outlines for a complex logic: a proof outline checker for TaDA
Crossref DOI link: https://doi.org/10.1007/s10703-023-00427-w
Published Online: 2023-07-31
Published Print: 2022-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Wolf, Felix A. http://orcid.org/0000-0002-8573-2387
Schwerhoff, Malte
Müller, Peter
Funding for this research was provided by:
Swiss Federal Institute of Technology Zurich
Text and Data Mining valid from 2022-08-01
Version of Record valid from 2023-07-31
Article History
Received: 16 April 2022
Accepted: 16 April 2023
First Online: 31 July 2023