Juan José
Sánchez Penas
Profesor Asociado
Antonio
Blanco Ferro
Publicacións nas que colabora con Antonio Blanco Ferro (1)
2001
-
Fusion in Coq
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)