Skip to Main content Skip to Navigation
New interface
Journal articles

From Well Structured Transition Systems to Program Verification

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-03415325
Contributor : Alain FINKEL Connect in order to contact the contributor
Submitted on : Thursday, November 4, 2021 - 7:20:26 PM
Last modification on : Friday, August 5, 2022 - 2:58:08 PM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

17