Formalising Boost POSIX Regular Expression Matching.

Martin Berglund, Willem Bester, Brink van der Merwe

Browse the full ICTAC paper archive.