Tegzes Tamás

dolgozatok

Inkrementális, induktív algoritmusok szoftver-modellellenőrzéshez

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2018. évi TDK konferencia » Szoftver szekció, 2018

Villamosmérnöki és Informatikai Kar » Szoftver téma

Tóth Tamás ( MIT)

nincs helyezés