XinJie Jiang Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 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 EE XinJie Jiang, YongSen Xu: NUSL: An Executable Specification Language Based on Data Abstraction. VDM Europe 1988: 124-138

*	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	EE	XinJie Jiang, YongSen Xu: NUSL: An Executable Specification Language Based on Data Abstraction. VDM Europe 1988: 124-138

Coauthor Index

1 YongSen Xu [1] [2]