Ural Federal University (UrFU)
Software engineering
2015
SMT
2005