Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021 - Archive ouverte HAL Access content directly
Special Issue Formal Aspects of Computing Year : 2024

Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021

Heike Wehrheim

Dates and versions

hal-04528312 , version 1 (01-04-2024)

Identifiers

Cite

Wolfgang Ahrendt, Frédéric Loulergue, Heike Wehrheim. Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021. Formal Aspects of Computing, 36 (1), pp.1-2, 2024, ⟨10.1145/3650092⟩. ⟨hal-04528312⟩
8 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More