1 paper · 1 filter
Marieke Huisman, Raúl E. Monti
With the progress in deductive program verification research, new tools and techniques have become available to support design-by-contract reasoning about non-trivial programs writ…