Javier O. Blanco

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Renato Cherini, Lucas Rearte, Javier O. Blanco
A Shape Analysis for Non-linear Data Structures. SAS (2010)
Renato Cherini, Javier O. Blanco
Local reasoning for abstraction and sharing. SAC (2009)
Damián Barsotti, Javier O. Blanco
Automatic Refinement of Split Binary Semaphore. ICTAC (2007)