18 citations · 60 across the 35 of their papers we have counts for
1 paper · 2 filters
Alexei Lisitsa, Andrei P. Nemytykh, Alberto Pettorossi
This volume contains the papers selected among those which were presented at the 3rd International Workshop on Verification and Program Transformation (VPT 2015) held in London, UK…