DOI,IST REx ID,Research Group,Title of publication
10.34727/2020/isbn.978-3-85448-042-6_21,9040,ToHe,Formal methods with a touch of magic