Milos Besta

Google Publications

Previous Publications

  •   

    A Complete Mechanization of Correctness of a String-Preprocessing Algorithm

    Milos Besta, Frank Stomp

    Formal Methods in System Design, vol. 27 (2005), pp. 5-17

  •   

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

    Milos Besta, Frank Stomp

    8th International Conference on Engineering of Complex Computer Systems (ICECCS '02), IEEE CS (2002), pp. 68-77