65 citations · 219 across the 7 of their papers we have counts for
1 paper · 2 filters
H. -Christian Estler, Carlo A. Furia, Martin Nordio +2
Contracts are a form of lightweight formal specification embedded in the program text. Being executable parts of the code, they encourage programmers to devote proper attention to…