3 citations · 3 across the 1 of their papers we have counts for
1 paper
Dirk Beyer, Gidon Ernst, Martin Jonáš +1
In the past two decades, significant research and development effort went into the development of verification tools for individual languages, such asC, C++, and Java. Many of the…