Mostrando
1 - 2
Resultados de
2
Saltar al contenido
BDU
3
Inicio
Iniciar nueva Búsqueda Básica
|
Iniciar nueva Búsqueda Avanzada
Versión -
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
Mostrando
1 - 2
Resultados de
2
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
por
Rosner, Nicolás
,
Frias, Marcelo
Publicado 2015
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
2
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
por
Rosner, Nicolás
,
Geldenhuys, Jaco
,
Aguirre, Nazareno Matías
,
Visser, Willem
Publicado 2016
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Enlace del recurso
Objeto de conferencia
Resumen
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Atrás
Refine su búsqueda
Institución
Universidad Nacional de La Plata
1
Universidad de Buenos Aires
1
Colecciones
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
1
SEDICI (UNLP)
1
Formato
Objeto de conferencia
1
Resumen
1
Autor
Rosner, Nicolás
2
Aguirre, Nazareno Matías
1
Frias, Marcelo
1
Geldenhuys, Jaco
1
Visser, Willem
1
Lenguaje
Inglés
1
Año de Publicación
De:
a:
Cargando...