David
Cabrero Souto
Profesor Contratado Doutor
José Enrique
Freire Brañas
Publications by the researcher in collaboration with José Enrique Freire Brañas (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)