@masterthesis{2883143,
    title = "Datalog Based Symbolic Program Reasoning for Java",
    authorField = "Βραχάς, Χρίστος",
    year = "2019",
    school = "Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών"
}