Modular set-based analysis from contracts. (2006)

by Philippe Meunier, Robert Bruce Findler, Matthias Felleisen