A bounded model checker for SPARK programs - Lourenço, Cláudio Filipe Belo da Silva (2013)
Dissertação de mestrado em Engenharia de Informática