A hybrid, dynamic logic for hybrid-dynamic information flow

@INPROCEEDINGS{DBLP:conf/lics/BohrerP18,
	pdf = {pub/dynamized-hybrid.pdf},
	slides = {pub/dynamized-hybrid-slides.pdf},
	TR = {DBLP:conf/lics/BohrerP18:TR},

  author    = {Brandon Bohrer and
               Andr{\'{e}} Platzer},
  title     = {A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow},
  booktitle = {LICS},
  year      = {2018},
  pages     = {115-124},
  doi       = {10.1145/3209108.3209151},
  editor    = {Anuj Dawar and
               Erich Gr{\"{a}}del},
  longbooktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in
               Computer Science},
  publisher = {ACM},
  key       = {LICS},
  isbn      = {978-1-4503-5583-4},
  address   = {New York},
}```