Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings

Detalles Bibliográficos
Autores principales: Beyer, Dirk, Keller, Chantal
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755226
Descripción
Descripción no disponible.

Ejemplares similares