Travelled to:
1 × Spain
Collaborated with:
R.Milewicz R.Vanka J.Tuck P.Pirkelbauer
Talks about:
program (1) runtim (1) check (1)
Person: Daniel Quinlan
DBLP: Quinlan:Daniel
Contributed to:
Wrote 1 papers:
- SAC-2015-MilewiczVTQP #c #runtime #source code
- Runtime checking C programs (RM, RV, JT, DQ, PP), pp. 2107–2114.