Travelled to:
1 × United Kingdom
Collaborated with:
T.Nipkow
Talks about:
bytecod (1) safeti (1) assert (1)
Person: Martin Wildmoser
DBLP: Wildmoser:Martin
Contributed to:
Wrote 1 papers:
- ESOP-2005-WildmoserN #bytecode #safety
- Asserting Bytecode Safety (MW, TN), pp. 326–341.