Aportaciones a la verificación formal de circuitos secuenciales

Tesis doctoral de Héctor Navarro Botello A pesar de que la industria se centra únicamente en general herramientas para facilitar […]

, , , , ,