  |
Items where Author is "Micskei, Zoltán"
Group by: Item Type | No Grouping Jump to: Book Section Number of items: 2. Book SectionDobos-Kovács, Mihály and Vörös, András and Micskei, Zoltán (2025) Beyond Hello World: Teaching software engineering with realistic and automated assignments. In: Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence. Eszterházy Károly Katolikus Egyetem Líceum Kiadó, Eger, pp. 51-64. ISBN 9789634963035 Hajdu, Ákos and Micskei, Zoltán (2018) A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework. In: Proceedings of the 25th PhD Mini-Symposium. BME MIT, Budapest, pp. 32-35. ISBN 978-963-313-285-2 |
