Cargando…

From software engineering to formal methods and tools, and back: essays dedicated to Stefania Gnesi on the occasion of her 65th birthday

Detalles Bibliográficos
Autores principales: ter Beek, Maurice H, Fantechi, Alessandro, Semini, Laura
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755920