Crossmark

Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms

Crossref DOI link: https://doi.org/10.1007/s10586-016-0663-9

Published Online: 2016-10-20

Published Print: 2016-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

You, Zhen

Xue, Jinyun

Zuo, Zhengkang
Funding

Funding for this research was provided by:

National Nature Science Foundation of China (61462041, 61462039)

National Nature Science Foundation of China (61472167)

National Natural Science Foundation of Jiangxi Province (20142BAB217023)

Science and Technology Research Project of Jiangxi Province Educational Department (GJJ14268)
License Information

License valid from 2016-10-20