@mastersthesis{mastersthesisf1636f83,
title   = {Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências},
author = {Sousa, Thiago Carvalho de and Silva, Paulo Sérgio Muniz},
year = {2013},
school = {Universidade de São Paulo}
}