N°Spécial De Revue/Special Issue
Formal Aspects of Computing
Année : 2024
Frédéric Loulergue : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04528312
Soumis le : lundi 1 avril 2024-09:52:30
Dernière modification le : jeudi 4 avril 2024-03:19:38
Citer
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⟩
Collections
8
Consultations
0
Téléchargements