Paper accepted in SCICO

We are delighted that our paper about DFAMiner, an efficient tool for learning minimal separating DFAs from labelled samples, has been accepted in Science of Computer Programming.