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
Article Dans Une Revue Electronic Proceedings in Theoretical Computer Science 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. Electronic Proceedings in Theoretical Computer Science, 2020, 320, pp.44-49. ⟨10.4204/EPTCS.320.3⟩. ⟨hal-03415325⟩
26 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More