Publications by the researcher in collaboration with José Enrique Freire Brañas (1)

2007

  1. 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)