Ziaomu Zeng

According to our database, Ziaomu Zeng authored at least 1 paper in 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Verification Criterion Directed Testing for Formal Specifications.

Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996