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] |