Computer Sciences Dept.

A Correctness Proof of the Fisher-Galler Algorithm Using Inductive Assertions

Ralph L. London
1970

Download this report (PDF)


Return to tech report index

 
Computer Science | UW Home