Verificación de software crítico para la seguridad de la aviónica
-
häftad
,
Spanska, 2020