CORE A/A* ranked venues marked in bold.
Nora Khayata. Statically inferring method consistency levels using pre- and postcondition analysis. Bachelor's thesis, TU Darmstadt, Germany, November 4, 2020.