Towards security assurance in round-trip engineering: A type-based approach

Jaime A. Pavlich-Mariscal, María Consuelo Franky, Ariel Lopez

Producción: Contribución a una revistaArtículorevisión exhaustiva

1 Cita (Scopus)

Huella

Profundice en los temas de investigación de 'Towards security assurance in round-trip engineering: A type-based approach'. En conjunto forman una huella única.

Keyphrases

INIS

Computer Science