Christian H. Stork

Publication Activity (10 Years)

Years Active: 2001-2004
Publications (10 Years): 0

Publications

Matthew Q. Beers, Christian H. Stork, Michael Franz
Efficiently Verifiable Escape Analysis. ECOOP (2004)
Vivek Haldar, Christian H. Stork, Michael Franz
The source is the proof. NSPW (2002)
Peter Housel, Christian H. Stork, Vivek Haldar, Niall Dalton, Michael Franz
Towards Language-Agnostic Mobile Code. Electron. Notes Theor. Comput. Sci. 59 (1) (2001)