23 citations · 38 across the 8 of their papers we have counts for
1 paper · 1 filter
David H. Lorenz, Therapon Skotiniotis
Design by Contract (DbC) and runtime enforcement of program assertions enables the construction of more robust software. It also enables the assignment of blame in error reporting.…