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.












