Mostrando
1 - 12
Resultados de
12
Para Buscar '
Lopez Pombo, C.G.
'
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
Lopez Pombo, C.G.
Mostrando
1 - 12
Resultados de
12
Para Buscar '
Lopez Pombo, C.G.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Complete calculi for structured specifications in fork algebra
por
Lopez
Pombo
,
C.G
.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
2
A categorical approach to structuring and promoting Z specifications
por
Castro, P.F.
,
Aguirre, N.
,
López
Pombo
,
C.G
.
,
Maibaum, T.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
3
Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements
por
Moscato, M.M.
,
López
Pombo
,
C.G
.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
4
Dynamite: A tool for the verification of alloy models based on PVS
por
Moscato, M.M.
,
Lopez
Pombo
,
C.G
.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
5
Alloy Analyzer+PVS in the analysis and verification of Alloy specifications
por
Frias, M.F.
,
Lopez
Pombo
,
C.G
.
,
Moscato, M.M.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
6
TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds
por
Galeotti, J.P.
,
Rosner, N.
,
Lopez
Pombo
,
C.G
.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
7
ParAlloy: Towards a framework for efficient parallel analysis of alloy models
por
Rosner, N.
,
Galeotti, J.P.
,
Lopez
Pombo
,
C.G
.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
8
A heterogeneous characterisation of component-based system design in a categorical setting
por
Lopez
Pombo
,
C.G
.
,
Castro, P.F.
,
Aguirre, N.
,
Maibaum, T.S.E.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
9
Satisfiability calculus: The semantic counterpart of a proof calculus in general logics
por
Lopez
Pombo
,
C.G
.
,
Castro, P.F.
,
Aguirre, N.M.
,
Maibaum, T.S.E.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
10
Towards managing dynamic reconfiguration of software systems in a categorical setting
por
Castro, P.F.
,
Aguirre, N.M.
,
López
Pombo
,
C.G
.
,
Maibaum, T.S.E.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
11
Reasoning about static and dynamic properties in alloy: A purely relational approach
por
Frias, M.F.
,
López
Pombo
,
C.G
.
,
Baum, G.A.
,
Aguirre, N.M.
,
Maibaum, T.S.E.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
12
Boosting the Reuse of Formal Specifications
por
Moscato, M.M.
,
Lopez
Pombo
,
C.G
.
,
Muñoz, C.A.
,
Feliú, M.A.
,
Avigad J.
,
Mahboubi A.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Algebra
Alloy analyzers
Alloys
Calculations
Specifications
Alloy
Formal logic
Formalisation
Propositional formulas
Theorem proving
Abstracting
Alloying
Automatic analysis
Cerium alloys
Computer software
Data domains
Formal foundation
Proof calculus
Semantics
Specification languages
Theorem provers
Tools
Verification
Abstract framework
Abstract model theory
Abstract notions
Algebraic specifications
Alloy Analyzer
Alloy calculus
Analysis and verifications
Cargando...