5 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto +1
The use of function contracts to specify the behavior of functions often remains limited to the scope of a single function call. Relational properties link several function calls t…