Mostrando
1 - 1
Resultados de
1
Para Buscar '
Geldenhuys, J.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Geldenhuys, J.
Mostrando
1 - 1
Resultados de
1
Para Buscar '
Geldenhuys, J.
'
, tiempo de consulta: 0.01s
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, N.
,
Geldenhuys
,
J
.
,
Aguirre, N.M.
,
Visser, W.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Complex data structures
Concretes
Data structures
Formal logic
Model checking
Novel techniques
Orders of magnitude
Satisfiability
Symbolic PathFinder
Symbolic execution
lazy initialization
tight field bounds
Cargando...