From Well Structured Transition Systems to Program Verification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Electronic Proceedings in Theoretical Computer Science Year : 2020

From Well Structured Transition Systems to Program Verification

Alain Finkel

Dates and versions

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

Identifiers

Cite

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 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More