Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019

Detalles Bibliográficos
Autores principales: Duran, Adolfo, Wadler, Philip
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Published by Elsevier B.V. 2021
Materias:
Editorial
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7546954/
http://dx.doi.org/10.1016/j.scico.2020.102565
Descripción
Sumario:

Ejemplares similares