@article{FAC-TAPintro,
author = {Ahrendt, Wolfgang and Loulergue, Fr\'{e}d\'{e}ric and Wehrheim, Heike},
title = {Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021},
year = {2024},
issue_date = {March 2024},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {36},
number = {1},
issn = {0934-5043},
url = {https://doi.org/10.1145/3650092},
doi = {10.1145/3650092},
journal = {Formal Aspects of Computing},
month = mar,
articleno = {1},
numpages = {2}
}