53 citations · 53 across the 2 of their papers we have counts for
1 paper · 1 filter
K. Rustan M. Leino, Valentin Wüstholz
In recent years, program verifiers and interactive theorem provers have become more powerful and more suitable for verifying large programs or proofs. This has demonstrated the nee…