Reasoning About JML: Differences Between KeY and OpenJML. - Jan Boerman; Marieke Huisman; Sebastiaan J. C. Joosten (IFM, 2018)