María Marta Novaira

According to our database, María Marta Novaira authored at least 3 papers between 2009 and 2013.

Collaborative distances:

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

2013

Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking.

Gastón Scilingo, María Marta Novaira, Renzo Degiovanni

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

Analyzing formal requirements specifications using an off-the-shelf model checker.

Gastón Scilingo, María Marta Novaira, Renzo Degiovanni, Nazareno Aguirre

Proceedings of the 2013 XXXIX Latin American Computing Conference (CLEI), 2013

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