| |
| 2008 | ||
|---|---|---|
| 2 | EE | Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paulo Oliva: A General Framework for Sound and Complete Floyd-Hoare Logics CoRR abs/0807.1016: (2008) |
| 2006 | ||
| 1 | EE | Ursula Martin, Erik A. Mathiesen, Paulo Oliva: Hoare Logic in the Abstract. CSL 2006: 501-515 |
| 1 | Rob Arthan | [2] |
| 2 | Ursula Martin | [1] [2] |
| 3 | Paulo Oliva | [1] [2] |