1 paper
Tycho Dubbeling, Marieke Huisman, Ömer Şakar
Predicate subtypes provide an attractive mechanism to specify range constraints on variable declarations. This paper discusses how we add support for predicate subtypes to the VerC…