Material complementario disponible
Artículo
RI ITBA
Molina, Facundo et al · RI ITBA · 2020 · ISSN 0167-6423
"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...
Idioma en
Material complementario disponibleEl enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario