1 citations · 1 across the 1 of their papers we have counts for
1 paper
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
The functional properties of a program are often specified by providing a contract for each of its functions. A contract of a function consists of a pair of formulas, called a prec…