Travelled to:
1 × Australia
1 × Germany
Collaborated with:
D.Goldson S.Reeves
Talks about:
chart (2) wherefor (1) properti (1) semant (1) whys (1)
Person: Greg Reeve
DBLP: Reeve:Greg
Contributed to:
Wrote 2 papers:
- SEFM-2003-GoldsonR #semantics
- Semantic Properties of μ-Charts (DG, GR), pp. 148–155.
- IFM-2000-ReeveR
- μ-Charts and Z: Hows, Whys, and Wherefores (GR, SR), pp. 255–276.