Proceedings/Recueil Des Communications
Electronic Proceedings in Theoretical Computer Science
Année : 2022
Pal Dream : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04717042
Soumis le : mardi 1 octobre 2024-16:15:35
Dernière modification le : mercredi 2 octobre 2024-03:13:20
Citer
Vlad Rusu. Working Formal Methods Symposium. FROM'22, Electronic Proceedings in Theoretical Computer Science, 369, 2022, ⟨10.4204/EPTCS.369⟩. ⟨hal-04717042⟩
Collections
0
Consultations
0
Téléchargements