Hang Cheng

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1998

1 Daniel Berleant, Hang Cheng: A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions. Reliable Computing 4(1): 71-82 (1998)

	1998
1		Daniel Berleant, Hang Cheng: A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions. Reliable Computing 4(1): 71-82 (1998)

Coauthor Index

1 Daniel Berleant [1]