Verification, slicing, and visualization of programs with contracts - Cruz, Daniela da (2011)
Tese de doutoramento em Informática (área de especialização em Ciências da Computação)