1 citations · 1 across the 1 of their papers we have counts for
1 paper
Geoff Hamilton, Alexei Lisitsa, Andrei P. Nemytykh
This volume contains the revised versions of papers presented at the Fourth International Workshop on Verification and Program Transformation (VPT 2016) on April 2, 2016 in Eindhov…