15 citations · 16 across the 3 of their papers we have counts for
1 paper · 1 filter
Alexander Knüppel, Thomas Thüm, Carsten Pardylla +1
Deductive verification of software has not yet found its way into industry, as complexity and scalability issues require highly specialized experts. The long-term perspective is, h…