Sonia Permigiani
Orcid: 0009-0008-5212-7974
According to our database1,
Sonia Permigiani
authored at least 2 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
2009
An introductory course on programming based on formal specification and program calculation.
ACM SIGCSE Bull., 2009