Zhang Xinger

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1995

1 Zhang Xinger: An Approach to Executable Specifications, Based On Formal Source-To-Source Conversion. SIGPLAN Notices 30(12): 51-58 (1995)