Teaching of formal methods: evidence of its inclusion in curricula, results, and difficulties

Silvana Moreno, Diego Vallespir, Álvaro Tasistro. Teaching of formal methods: evidence of its inclusion in curricula, results, and difficulties. In Beatriz Marín, Isabel Sofia Brito, Miguel Katrib Mora, Andreia Malucelli, Estefanía Serral, Giovanni Giachetti, João Araújo 0001, Miguel Goulão, Claudia P. Ayala, Marcela Genero, Vitor Silva Souza, editors, Proceedings of the XXII Iberoamerican Conference on Software Engineering, CIbSE 2019, La Habana, Cuba, April 22-26, 2019. pages 169-182, Curran Associates, 2019.

Abstract

Abstract is missing.