Uso del análisis estático y la verificación de código para producir software embedded de alta calidad

• Autores: Jay Abraham, Marc Lalo
• Localización: Automática e instrumentación, ISSN 0213-3113, Nº 451, 2013, págs. 60-63
• Idioma: español
• Texto completo no disponible (Saber más ...)