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