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

Published in: Clust. Comput. (2016)

Keyphrases