Formal Design Method For Reasoning about Algorithms and Representing Efficient Programs

Formal Design Method For Reasoning about Algorithms and Representing Efficient Programs (Advisor: Tudor Jebelean)