Efficient enumeration of regular expressions for faster regular expression synthesis

From MaRDI portal
Publication:2117664