12 citations · 25 across the 9 of their papers we have counts for
1 paper · 2 filters
Gidon Ernst, Johannes Blau, Toby Murray
We propose a conceptual integration of deductive program verification into existing user interfaces for software debugging. This integration is well-represented in the "Debug Adapt…