External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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.

No reviews for this publication, yet.

runs on