Travelled to:
1 × Germany
Collaborated with:
M.Koutny G.Pappalardo
Talks about:
implement (1) verifi (1) relat (1)
Person: Jonathan Burton
DBLP: Burton:Jonathan
Contributed to:
Wrote 1 papers:
- FME-2001-BurtonKP #implementation #verification
- Verifying Implementation Relations (JB, MK, GP), pp. 364–383.