Working Formal Methods Symposium - Inria - Institut national de recherche en sciences et technologies du numérique
Proceedings/Recueil Des Communications Electronic Proceedings in Theoretical Computer Science Année : 2022

Dates et versions

hal-04717042 , version 1 (01-10-2024)

Licence

Identifiants

Citer

Vlad Rusu. Working Formal Methods Symposium. FROM'22, Electronic Proceedings in Theoretical Computer Science, 369, 2022, ⟨10.4204/EPTCS.369⟩. ⟨hal-04717042⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More