Deductive software verification - the KeY book : from theory to practice /

Detalles Bibliográficos
Formato: Libro
Publicado: c2016.
Acceso en línea:Ver documento en línea
Descripción
ISBN:9783319498126
Acceso:Acceso al texto completo para la comunidad de la UCR por medio de la cuenta institucional