Linguagem de especificação leve Hoare-separação para java

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

A sedução dos sentidos. O significado político da festa popular na celebração dos fastos da monarquia

pp. 27-42