Travelled to:
1 × The Netherlands
Collaborated with:
H.Zedan
Talks about:
prototyp (1) tempor (1) status (1) report (1) vdm (1)
Person: Heping He
DBLP: He:Heping
Contributed to:
Wrote 2 papers:
- VDME-1991-HepingZ #prototype
- Prototyping with Temporal VDM: A Status Report (HH, HZ), pp. 681–682.