News Help Institutional access

Search academic resources

Explore institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.

Advanced search
What NODOVOX Discovery brings together: Institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.
forensic medicine law journals Open Access full text

Results

1 results found.

Resource types: Print book E-book Article Journal Thesis Chapter
Academic search
Automated workarounds from Java Program specifications based on SAT solving
Text / resource
Text / resource
Automated workarounds from Java Program specifications based on SAT solving
Uva, Marcelo et al · RI ITBA · 2020 · ISSN 1433-2787
"The failures that bugs in software lead to can sometimes be bypassed by the so called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to ...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
NODITO
Asistencia de búsqueda académica
Te ayudo a buscar, encontrar y acceder a recursos académicos.
Consultar con NODITO
¿Qué necesitás hacer?
Consultas rápidas
NODITO Asistencia contextual NDX