| |
| 2005 | ||
|---|---|---|
| 2 | EE | Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang: A portable virtual machine target for proof-carrying code. Sci. Comput. Program. 57(3): 275-294 (2005) |
| 2004 | ||
| 1 | Fermín Reig: Generic proofs for combinator-based generic programs. Trends in Functional Programming 2004: 17-32 | |
| 1 | Deepak Chandra | [2] |
| 2 | Michael Franz | [2] |
| 3 | Andreas Gal | [2] |
| 4 | Vivek Haldar | [2] |
| 5 | Christian W. Probst | [2] |
| 6 | Ning Wang | [2] |