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