María Marta Novaira

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

Nazareno Aguirre, Javier Blanco, Gastón Scilingo, 2009, SGCS.

Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking

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