María Marta Novaira
According to our database1,
María Marta Novaira
authored at least 4 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
1
1
2
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
2013
Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013
Proceedings of the 2013 XXXIX Latin American Computing Conference (CLEI), 2013
2009
An introductory course on programming based on formal specification and program calculation.
ACM SIGCSE Bull., 2009