Wojciech Różowski

Un enfoque sistemático para cuantificar diferencias en los comportamientos de DFA usando expresiones regulares.

Un vistazo a cómo comparamos y analizamos los comportamientos del sistema usando varias técnicas.