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