Sonia Permigiani

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 1

Top Topics

Objective Function

Statistical Model

Top Venues

Publications

César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding. ABZ (2024)
Javier Blanco, Leticia Losano, Nazareno Aguirre, María Marta Novaira, Sonia Permigiani, Gastón Scilingo
An introductory course on programming based on formal specification and program calculation. ACM SIGCSE Bull. 41 (2) (2009)