vix.ing · top · new · best · stats · spec

Brida, Simón Gutiérrez

  1. Bounded Exhaustive Search of Alloy Specification Repairs
    2021/02/27 by Brida, Simón Gutiérrez, Regis, Germán, Zhengz, Guolong +4 · 2 citations
    #FOS: Computer and information sciences #Software Engineering (cs.SE)