skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Bounded Exhaustive Search of Alloy Specification Repairs

Gutierrez Brida, Simon ; Regis, German ; Zheng, Guolong ; Bagheri, Hamid ; Nguyen, ThanhVu ; Aguirre, Nazareno ; Frias, Marcelo

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1135-1147

IEEE

Texto completo disponível

Citações Citado por
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  2 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.