19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21)

Detalles Bibliográficos
Autores principales: Arun-Kumar, S., Mery, Dominique
Lenguaje:eng
Publicado: Association for Computing Machinery 2021
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/2857763
Descripción
Descripción no disponible.

Ejemplares similares