Recent advances in program verification through computer algebra.

Lu Yang Chaochen Zhou Naijun Zhan Bican Xia

Published in: Frontiers Comput. Sci. China (2010)

Keyphrases

recent advances
computer algebra
theorem prover
recent developments
researchers and practitioners
computer algebra systems
field of pattern recognition
image processing
random variables