EasyChair Smart Slide
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow