Abstract: Partition-and-Recur PAR method is a simple and useful formal method used to design and prove algorithmic programs. In this paper, we address that PAR method is really an effective formal ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback