Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Huazhen Xu, Zhen You, Jinyun Xue. Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover. In Yihai Chen, editor, 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30 - June 1, 2016. pages 13-18, IEEE Computer Society, 2016. [doi]

This author has not been identified. Look up 'Huazhen Xu' in GoogleThis author has not been identified. Look up 'Zhen You' in GoogleThis author has not been identified. Look up 'Jinyun Xue' in Google

runs on WebDSL