From post-conditions to post-region invariants: deductive verification of hybrid objects

Published in HSCC, 2021

Recommended citation: Eduard Kamburjan. (2021). HSCC. ACM