Certification of algorithm 245 [M1]:treesort 3:proof of algorithms—a new kind of certification

Ralph L. London(University of Wisconsin–Madison)

Communications of the ACM

June 1, 1970

10.1145/362384.362507

Cited by 27

Related Papers

No related papers found

Powered by citation graph analysis