Antonio Blanco Ferro

Publication Activity (10 Years)

Years Active: 2001-2013
Publications (10 Years): 0

Top Topics

Customer Retention

Business Activities

Technical Infrastructure

Community Driven

Top Venues

Publications

Alberto Casanova, Laura M. Castro, Antonio Blanco Ferro
Business Operation Improvement through Integrated Infrastructure Management. EUROCAST (1) (2013)
José Luis Freire-Nistal, Antonio Blanco Ferro, J. M. Molinelli Barba, Enrique Freire Brañas
On the Confluence of the Graphic Calculus with Penrose Diagrams (I). EUROCAST (1) (2011)
José Luis Freire-Nistal, Enrique Freire Brañas, Antonio Blanco Ferro, David Cabrero Souto
On the Representation of Imperative Programs in a Logical Framework. EUROCAST (2007)
José Luis Freire-Nistal, Antonio Blanco Ferro, Víctor M. Gulías, José E. Freire Brañas
On the Strong Co-induction in Coq. EUROCAST (2003)
José Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas
Fusion in Coq. EUROCAST (2001)