Travelled to:
1 × Germany
Collaborated with:
L.A.Dennis G.Collins M.Norrish R.J.Boulton K.Slind M.J.C.Gordon T.F.Melham
Talks about:
toolkit (1) prosper (1)
Person: Graham Robinson
DBLP: Robinson:Graham
Contributed to:
Wrote 1 papers:
- TACAS-2000-DennisCNBSRGM #tool support
- The PROSPER Toolkit (LAD, GC, MN, RJB, KS, GR, MJCG, TFM), pp. 78–92.