Idioma:

Towards MC/DC coverage of properties specification patterns

Ana Cristina Vieira de Melo Corina S Pasareanu; Simone Hanazumi; International Colloquium on Theoretical Aspects of Computing - ICTAC (13. 2016 Taipei, Taiwan)

Proceedings Cham: Springer, 2016

Localização: IME - Inst. Matemática e Estatística (PROD-2872237 )(Acessar)

IME - Inst. Matemática e Estatística (PROD-2872237 ) Disponível na Biblioteca

Local	Número de chamada	Descrição	Status / Emprestado até	Código de barras	Tipo de item	Opções de solicitação
IME-Inst. Mat. e Estatística	PROD-2872237		Item disponível	2872237-10	RECURSO ELETRÔNICO	Select Request Option: Clique aqui para se identificar
Localização: IME-Inst. Mat. e Estatística Número de chamada: PROD-2872237 Status: Item disponível Código de Barras: 2872237-10 Tipo de item: RECURSO ELETRÔNICO Status de item: PCD - não circula Exemplar: 1

Voltar para lista de resultados