Antal Gábor Applying Code Analysis and Machine Learning Techniques to Improve Compatibility and Security of Programs. Doktori értekezés, Szegedi Tudományegyetem (2000-). (2021)