Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. - Jorne Kandziora; Marieke Huisman; Christoph Bockisch; Marina Zaharieva-Stojanovski (FTfJP@ECOOP, 2015)