Baráth Áron; Ispánovics Gábor Alex; Porkoláb Zoltán: Checking binary compatibility for modern programming language.