Article SCOPUS
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  (2018)

Gradual program verification

Bader J.; Aldrich J.; Tanter É.

Más información

Título según SCOPUS: Gradual program verification
Título de la Revista: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen: 10747 LNCS
Editorial: Springer
Fecha de publicación: 2018
Página de inicio: 25
Página final: 46
Idioma: English
DOI:

10.1007/978-3-319-73721-8_2
Notas: SCOPUS