Items where Author is "Tachmazidis, I"

Batsakis, S and Tachmazidis, I and Mantle, M and Papadakis, N and Antoniou, G (2025) Model Checking Using Large Language Models—Evaluation and Future Directions. Electronics, 14 (2). pp. 1-34. ISSN 2079-9292 DOI: https://doi.org/10.3390/electronics14020401