6 citations · 12 across the 4 of their papers we have counts for
1 paper · 2 filters
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…