Validação de sistemas de controle e automação na Indústria do Petróleo e Gás utilizando métodos de teste, verificação e síntese de programas Sorry, this entry is only available in Brazilian Portuguese.