{rfName}
PR

Columna de información

Ver revista en

Indexado en

Ciencia abierta

Compartir

Publicaciones > Libro de Actas

PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2023

Publicado por: - 2023-01-01 ISSN: 9798400703980

Descripción

Temáticas:

Indicios de calidad

Evolución de impactos