RT @davbencue: After 15 years, I have the honour to publish again a paper with Prof. Don Batory. A join work with @UTAustin, @UNED and @uni…
Logic, Computation and Rigorous Methods
Springer International Publishing
RT @davbencue: After 15 years, I have the honour to publish again a paper with Prof. Don Batory. A join work with @UTAustin, @UNED and @uni…
RT @davbencue: After 15 years, I have the honour to publish again a paper with Prof. Don Batory. A join work with @UTAustin, @UNED and @uni…
RT @davbencue: After 15 years, I have the honour to publish again a paper with Prof. Don Batory. A join work with @UTAustin, @UNED and @uni…
RT @davbencue: After 15 years, I have the honour to publish again a paper with Prof. Don Batory. A join work with @UTAustin, @UNED and @uni…