| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 3 |      | Renato Cherini, Lucas Rearte, Javier O. Blanco: A Shape Analysis for Non-linear Data Structures. SAS 2010: 201-217 |
| 2009 | ||
| 2 | | Renato Cherini, Javier O. Blanco: Local reasoning for abstraction and sharing. SAC 2009: 552-557 |
| 2007 | ||
| 1 | | Damián Barsotti, Javier O. Blanco: Automatic Refinement of Split Binary Semaphore. ICTAC 2007: 64-78 |
| 1 | Damián Barsotti | [1] |
| 2 | Renato Cherini | [2] [3] |
| 3 | Lucas Rearte | [3] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page