TY  - RPRT
TI  - From Well Structured Transition Systems to Program Verification
AU  - Alain Finkel
PY  - 2020
DO  - 10.4204/eptcs.320.3
UR  - https://arxiv.org/abs/2008.02929
ID  - 2008.02929
ER  -