Firma en Digital.CSIC (*)
Lopez-Garcia, Pedro
 
Otras firmas
Pedro Lopez-Garcia
Lopez-Garcia, P.
P. Lopez-Garcia
Lopez, P.
P. Lopez
 
Centro o Instituto
CSIC - Instituto de Tecnologias Fisicas y de la Informacion Leonardo Torres Quevedo (ITEFI)
 
Departamento
Tecnologías de la Información y las Comunicaciones (TIC)
 
Categoría Profesional
Investigador Científico
 
Especialización
Análisis y verificación de sistemas
 
Email
pedro.lopez@csic.es
 
 
Perfil en Google Scholar
 
WoS ResearcherID - Publons
 
Scopus AuthorID
 

Publications

Refined By:
Autor:  Jurjo, Daniel

Resultados 1-1 de 1.

DerechosPreviewFecha Public.TítuloAutor(es)Tipo
1closedAccessaccesoRestringido.pdf.jpg2023A Rule-Based Approach for Designing and Composing Abstract DomainsJurjo, Daniel; Morales, José F.; Lopez-Garcia, Pedro ; Hermenegildo, Manuel V.capítulo de libro