Prof. Zhang was invited to give a lecture at SETSS 2018

Lijun Zhang is going to give a lecture on “Omega-Automata Learning Algorithms and Its Application” at SETSS 2018