|
| << previous |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 52 of 52 found articles
| Title: |
Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms |
| Author: |
You, Zhen Xue, Jinyun Zuo, Zhengkang |
| Appeared in: |
Cluster computing |
| Paging: | Volume 19 (2016) nr. 4 pages 2145-2156 |
| Year: |
2016 |
| Contents: | |
| Publisher: |
Springer US, New York |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 52 of 52 found articles
| << previous |