Tests and Proofs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2021

Dates et versions

hal-03261865 , version 1 (16-06-2021)

Identifiants

Citer

Frédéric Loulergue, Franz Wotawa (Dir.). Tests and Proofs: 15th International Conference, TAP 2021 Held as Part of STAF 2021 Virtual Event, June 21–22, 2021 Proceedings. Springer, 12740, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79379-1⟩. ⟨hal-03261865⟩
25 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More