Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo by Caio Alberto Nunes Marques, Maria Adriana Ferreira da Silva, José Lucas Santana de Andrade, Alysson Filgueira Milanez

Get full text