Mata, a Fast and Simple Finite Automata Library (Technical Report).

Published in: CoRR (2023)

Keyphrases