Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
Other text in scientific journal, 2024
Author
Wolfgang Ahrendt
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Frédéric Loulergue
University of Orléans
Heike Wehrheim
The Carl von Ossietzky University of Oldenburg
Formal Aspects of Computing
0934-5043 (ISSN) 1433-299X (eISSN)
Vol. 36 1 1Subject Categories
Computer and Information Science
DOI
10.1145/3650092