Article Dans Une Revue
Electronic Proceedings in Theoretical Computer Science
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 15 mars 2024-03:19:53
Citer
Alain Finkel. From Well Structured Transition Systems to Program Verification. Electronic Proceedings in Theoretical Computer Science, 2020, 320, pp.44-49. ⟨10.4204/EPTCS.320.3⟩. ⟨hal-03415325⟩
Collections
26
Consultations
0
Téléchargements