20 citations · 50 across the 12 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…