| |
| 2008 | ||
|---|---|---|
| 1 | EE | Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve: Specification and Checking of Software Contracts for Conditional Information Flow. FM 2008: 229-245 |
| 1 | Torben Amtoft (Torben Amtoft Hansen) | [1] |
| 2 | David Greve | [1] |
| 3 | John Hatcliff | [1] |
| 4 | Robby | [1] |
| 5 | Edwin Rodríguez | [1] |