Verified derivative-based regular expression matching - Perry, Keegan Kyle (Stellenbosch : Stellenbosch University, 2026)
Thesis (MSc)--Stellenbosch University, 2025.