| |
| 1990 | ||
|---|---|---|
| 2 | EE | XinJie Jiang, YongSen Xu: Diverse executable semantics definitions in NUSL and an implementation of functional types. SIGPLAN Notices 25(5): 39-52 (1990) |
| 1988 | ||
| 1 | XinJie Jiang, YongSen Xu: NUSL: An Executable Specification Language Based on Data Abstraction. VDM Europe 1988: 124-138 | |
| 1 | YongSen Xu | [1] [2] |