Almási Nóra

dolgozatok

SAT/SMT megoldók vezérlése döntési diagramokkal absztrakcióalapú modellellenőrzés támogatására

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

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

Molnár Vince Dr. ( MIT)

II. helyezett