2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Robert Koenighofer, Ronald Toegl, Roderick Bloem
Even competent programmers make mistakes. Automatic verification can detect errors, but leaves the frustrating task of finding the erroneous line of code to the user. This paper pr…