3 citations · 13 across the 9 of their papers we have counts for
1 paper · 1 filter
Alexei Lisitsa, Andrei Nemytykh
This volume contains a final and revised selection of papers presented at the Seventh International Workshop on Verification and Program Transformation (VPT 2019), which took place…