SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction.

Gidon Ernst, Paula Herber, Marieke Huisman, Mattias Ulbrich

Browse the full ISoLA paper archive.