Login / Signup
Program Verification Through Computer Algebra.
Zhou Chaochen
Published in:
ICFEM (2006)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
automated theorem provers
random variables