Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências.

Sousa, Thiago Carvalho De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2013-11-29

Acesso online. A biblioteca também possui exemplares impressos.