Travelled to:1 × China
1 × Ireland
Collaborated with:X.Jiang Y.Li G.Xie Z.Zhan
Talks about:techniqu (1) strategi (1) abstract (1) languag (1) specif (1) execut (1) freez (1) nusl (1) melt (1) data (1)
Person: YongSen Xu
DBLP: Xu:YongSen
Contributed to:
1999
1988Wrote 2 papers:
- TOOLS-ASIA-1999-LiXXZ
- Strategies and Techniques of Freeze/Melt (YL, YX, GX, ZZ), pp. 98–107.
- VDME-1988-JiangX #abstraction #execution #named #specification
- NUSL: An Executable Specification Language Based on Data Abstraction (XJ, YX), pp. 124–138.