Formal derivation of graph algorithmic programs using partition-and-recur

  • Jinyun Xue
  • Published 1998 in Journal of Computer Science and Technology

Cite this paper

@article{Xue1998FormalDO, title={Formal derivation of graph algorithmic programs using partition-and-recur}, author={Jinyun Xue}, journal={Journal of Computer Science and Technology}, year={1998}, volume={13}, pages={553-561} }