EasyChair Smart Slide
Contract-based Compositional Verification of Infinite-State Reactive Systems
Contract-based Compositional Verification of Infinite-State Reactive Systems