Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm.

Milos Besta, Frank A. Stomp

Browse the full ICECCS paper archive.