Formal methods teaching: third international workshop and tutorial, FMTea 2019, held as part of the third world congress on formal methods, FM 2019, Porto, Portugal, october 7, 2019, proceedings

Detalles Bibliográficos
Autores principales: Dongol, Brijesh, Petre, Luigia, Smith, Graeme
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755396
Descripción
Descripción no disponible.

Ejemplares similares