GamaBoogie : a contract-based slicer for Boogie programs - Coelho, Márcio (2011)
Dissertação de mestrado em Engenharia de Informática