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
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
1
1
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