10.1184/R1/6610505.v1 A. Nico Habermann A. Nico Habermann The correctness proof of a quadratic-hash algorithm Carnegie Mellon University 2015 Computer programs Testing. Algorithms. Hashing (Computer science) Computer programs Correctness. 2015-08-01 00:00:00 Journal contribution https://kilthub.cmu.edu/articles/journal_contribution/The_correctness_proof_of_a_quadratic-hash_algorithm/6610505 Computer Science Department