A model repair application scenario with PROVA - Jorge, Tiago Manuel da Silva (2014)
Dissertação de mestrado em Engenharia Informática