Towards deriving test sequences by model checking
Adilson Luiz Bonifácio Arnaldo Vieira Moura; Adenilso da Silva Simão; José Carlos Maldonado
Eletronic Notes in Theoretical Computer Science Amsterdam v. 195, p. 21-40, 2008Amsterdam 2008
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1672646 )(Acessar)