Experiences and new alternatives for teaching formal verification of Java programs
ISSN: 1942-647X
ISBN: 9781450357074
Año de publicación: 2018
Páginas: 383
Tipo: Aportación congreso
ISSN: 1942-647X
ISBN: 9781450357074
Año de publicación: 2018
Páginas: 383
Tipo: Aportación congreso