coma, an Intermediate Verification Language with Explicit Abstraction Barriers. - Andrei Paskevich; Paul Patault; Jean-Christophe Filliâtre (ESOP (2), 2025)