Sonia Permigiani

According to our database, Sonia Permigiani authored at least 2 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding.

César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2009

An introductory course on programming based on formal specification and program calculation.

Javier Blanco, Leticia Losano, Nazareno Aguirre, María Marta Novaira, Sonia Permigiani, Gastón Scilingo

ACM SIGCSE Bull., 2009