Communication Dans Un Congrès
Année : 2020
Alain FINKEL : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03415325
Soumis le : jeudi 4 novembre 2021-19:20:26
Dernière modification le : vendredi 17 mai 2024-16:22:03
Citer
Alain Finkel. From Well Structured Transition Systems to Program Verification. 8th International Workshop on Verification and Program Transformation, Apr 2020, Dublin (Irlande), Ireland. pp.44-49, ⟨10.4204/EPTCS.320.3⟩. ⟨hal-03415325⟩
Collections
37
Consultations
0
Téléchargements