Publications

Filters: Author is Javier O. Blanco [Clear All Filters]

2008

J. O. Blanco, Smith, S., and Barsotti, D., Calculo de programas. Córdoba: Universidad Nacional de Cordoba, 2008.

Google Scholar

2007

D. Barsotti and Blanco, J. O., “Automatic Refinement of Split Binary Semaphore”, in Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, 2007, vol. 4711, pp. 64-78.