Verification, slicing, and visualization of programs with contracts - Cruz, Daniela da (2011)