From Well Structured Transition Systems to Program Verification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

From Well Structured Transition Systems to Program Verification

Alain Finkel

Dates et versions

hal-03415325 , version 1 (04-11-2021)

Identifiants

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⟩
27 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More