1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Richard Bubel, Dilian Gurov, Reiner Hähnle +1
Contracts specifying a procedure's behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events o…