SpecifyThis - Bridging Gaps Between Program Specification Paradigms.

Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich

Browse the full ISoLA paper archive.