Travelled to:
1 × Norway
Collaborated with:
M.Q.Beers M.Franz
Talks about:
analysi (1) verifi (1) effici (1) escap (1)
Person: Christian H. Stork
DBLP: Stork:Christian_H=
Contributed to:
Wrote 1 papers:
- ECOOP-2004-BeersSF #analysis
- Efficiently Verifiable Escape Analysis (MQB, CHS, MF), pp. 75–95.