1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Niklas Heidler, Reiner Hähnle
Specification languages are essential in deductive program verification, but they are usually based on first-order logic, hence less expressive than the programs they specify. Rece…