Mostrando
1 - 1
Resultados de
1
Para Buscar '
Blas, G.M.
'
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
Blas, G.M.
Mostrando
1 - 1
Resultados de
1
Para Buscar '
Blas, G.M.
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Parallel bounded analysis in code with rich invariants by refinement of field bounds
por
Rosner, N.
,
Galeotti, J.
,
Bermúdez, S.
,
Blas
,
G.M
.
,
De Rosso, S.P.
,
Pizzagalli, L.
,
Zemín, L.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Alloy
Alloying
Cerium alloys
Code analysis
Commodity clusters
DynAlloy
Novel techniques
Relational semantics
SAT-based code analysis
Sequential analysis
Software testing
Soundness and completeness
Static analysis
Symmetry-breaking
Tools
Cargando...