skip to main content
Idioma:

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 disponible

Citas Citado por
Volver a la lista de resultados
Ir a la página anteriorAnterior Resultado  10 SiguienteIr a la siguiente página

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora