David
Cabrero Souto
Profesor Contratado Doctor
Antonio
Blanco Ferro
Publicaciones en las que colabora con Antonio Blanco Ferro (1)
2007
-
On the representation of imperative programs in a logical framework
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)