Título Año
Aportaciones a la verificación formal de circuitos secuenciales Navarro Botello,Héctor Director/a: Montiel Nelson, Juan Antonio Fecha de publicación: 2006 Tesis doctoral