1 citations · 1 across the 2 of their papers we have counts for
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…