Logotipo ImpactU
Autor

A Declarative Framework for Security: Secure Concurrent Constraint Programming

Acceso Abierto

Abstract:

Abstract no disponible

Tópico:

Formal Methods in Verification

Citaciones:

Citations: 7
7

Citaciones por año:

Altmétricas:

Paperbuzz Score: 0
0

Información de la Fuente:

SCImago Journal & Country Rank
FuenteLecture notes in computer science
Cuartil año de publicaciónNo disponible
VolumenNo disponible
IssueNo disponible
Páginas449 - 450
pISSNNo disponible
ISSN1611-3349

Enlaces e Identificadores:

Artículo de revista