DMCA

Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. (2013)

by Parosh Aziz Abdulla , Lukáš Holík , Bengt Jonsson , Ondřej Lengál , Cong Quy , Trinh , Tomáš Vojnar
Citations:3 - 0 self