| |
| 2009 | ||
|---|---|---|
| 2 | EE | Renato Cherini, Javier O. Blanco: Local reasoning for abstraction and sharing. SAC 2009: 552-557 |
| 2007 | ||
| 1 | EE | 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] |