5 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Guido de Caso, Diego Garbervetsky, Daniel Gorín
Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amount of rese…