David
Cabrero Souto
Profesor Contratado Doutor
Antonio
Blanco Ferro
Publicacións nas 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)