A Correctness Proof of the Fisher-Galler Algorithm Using Inductive Assertions
File(s)
Date
1970Publisher
University of Wisconsin-Madison Department of Computer Sciences
Metadata
Show full item recordPermanent Link
http://digital.library.wisc.edu/1793/57652Type
Technical Report
Citation
TR102