Publicaciones en las que colabora con Juan Alcalde (1)

1996

  1. Especificación, validación y verificación formal de un microscopio efecto-túnel

    II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996