5 citations · 5 across the 1 of their papers we have counts for
1 paper
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…