Formal Methods: From Academia to Industrial Practice. A Travel Guide

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Huisman, Marieke, Gurov, Dilian, Malkis, Alexander
Formato:	Preprint
Publicado:	2020
Materias:	Software Engineering 68-00, 68N01 D.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/2002.07279