Felix A. Wolf, Malte Schwerhoff, Peter Müller 0001. Concise outlines for a complex logic: a proof outline checker for TaDA. Formal Methods in System Design, 61(1):110-136, August 2022. [doi]
@article{WolfSM22,
title = {Concise outlines for a complex logic: a proof outline checker for TaDA},
author = {Felix A. Wolf and Malte Schwerhoff and Peter Müller 0001},
year = {2022},
month = {August},
doi = {10.1007/s10703-023-00427-w},
url = {https://doi.org/10.1007/s10703-023-00427-w},
researchr = {https://researchr.org/publication/WolfSM22},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {61},
number = {1},
pages = {110-136},
}