Verification of heap manipulating programs with ordered data by extended forest automata
Crossref DOI link: https://doi.org/10.1007/s00236-015-0235-0
Published Online: 2015-05-07
Published Print: 2016-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Abdulla, Parosh Aziz
Holík, Lukáš
Jonsson, Bengt
Lengál, Ondřej
Trinh, Cong Quy
Vojnar, Tomáš
Text and Data Mining valid from 2015-05-07