| |
| 2008 | ||
|---|---|---|
| 2 | 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 |
| 2006 | ||
| 1 | EE | David Greve: Parameterized congruences in ACL2. ACL2 2006: 28-34 |
| 1 | Torben Amtoft (Torben Amtoft Hansen) | [2] |
| 2 | John Hatcliff | [2] |
| 3 | Jonathan Hoag | [2] |
| 4 | Robby | [2] |
| 5 | Edwin Rodríguez | [2] |