@inproceedings{EPTCS320.3,
    Author = {Finkel, Alain},
    BookTitle = {{\rm Proceedings 8th International Workshop on} Verification and Program Transformation {\rm and 7th Workshop on} Horn Clauses for Verification and Synthesis, {\rm Dublin, Ireland, 25-26th April 2020}},
    Editor = {Fribourg, Laurent and Heizmann, Matthias},
    File = {From Well Structured Transition Systems to Program Verification - paper - a - u.pdf},
    Pages = {44-49},
    Publisher = {Open Publishing Association},
    Series = {Electronic Proceedings in Theoretical Computer Science},
    Title = {From Well Structured Transition Systems to Program Verification},
    Volume = {320},
    Year = {2020},
    bdsk-url-1 = {https://doi.org/10.4204/EPTCS.320.3},
    date-added = {2020-08-07 11:29:08 +0200},
    date-modified = {2020-08-07 11:29:08 +0200},
    doi = {10.4204/EPTCS.320.3}
}

@inproceedings{EPTCS320.3, Author = {Finkel, Alain}, BookTitle = {{\rm Proceedings 8th International Workshop on} Verification and Program Transformation {\rm and 7th Workshop on} Horn Clauses for Verification and Synthesis, {\rm Dublin, Ireland, 25-26th April 2020}}, Editor = {Fribourg, Laurent and Heizmann, Matthias}, File = {From Well Structured Transition Systems to Program Verification - paper - a - u.pdf}, Pages = {44-49}, Publisher = {Open Publishing Association}, Series = {Electronic Proceedings in Theoretical Computer Science}, Title = {From Well Structured Transition Systems to Program Verification}, Volume = {320}, Year = {2020}, bdsk-url-1 = {https://doi.org/10.4204/EPTCS.320.3}, date-added = {2020-08-07 11:29:08 +0200}, date-modified = {2020-08-07 11:29:08 +0200}, doi = {10.4204/EPTCS.320.3} }