TY  - RPRT
TI  - Predicate Subtypes in VerCors
AU  - Tycho Dubbeling
AU  - Marieke Huisman
AU  - Ömer Şakar
PY  - 2026
DO  - 10.4204/eptcs.444.6
UR  - https://arxiv.org/abs/2604.06877
ID  - 2604.06877
ER  -