Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
Övrig text i vetenskaplig tidskrift, 2024
Författare
Wolfgang Ahrendt
Chalmers, Data- och informationsteknik, Formella metoder
Frédéric Loulergue
Universite d'Orleans
Heike Wehrheim
Carl von Ossietzky Universität Oldenburg
Formal Aspects of Computing
0934-5043 (ISSN) 1433-299X (eISSN)
Vol. 36 1 1Ämneskategorier
Data- och informationsvetenskap
DOI
10.1145/3650092