Chicano, F., & Alba E. (2009).  Ant Colony Optimization in Model Checking. Taller de apoyo a la decisión en Ingeniería del Software.

Languages