3 citations · 13 across the 9 of their papers we have counts for
1 paper · 1 filter
Alexei P. Lisitsa, Andrei P. Nemytykh
Both automatic program verification and program transformation are based on program analysis. In the past decade a number of approaches using various automatic general-purpose prog…