Zhicheng Wen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

2 Huaikou Miao, Zhicheng Wen: An Approach to Extending Object-Z with Real-Time. DELTA 2006: 345-349

1 Zhicheng Wen, Huaikou Miao, Hongwei Zeng: Generating Proof Obligation to Verify Object-Z Specification. ICSEA 2006: 38

	2006
2		Huaikou Miao, Zhicheng Wen: An Approach to Extending Object-Z with Real-Time. DELTA 2006: 345-349
1		Zhicheng Wen, Huaikou Miao, Hongwei Zeng: Generating Proof Obligation to Verify Object-Z Specification. ICSEA 2006: 38

Coauthor Index

1 Huaikou Miao [1] [2]

2 Hongwei Zeng [1]