POTENTIAL FUNCTION ANALYSIS



 
next up previous
Next: Motivation Up: Potential Function Analysis (6b) Previous: Dealing with while loops