A hybrid, dynamic logic for hybrid-dynamic information flow

@TECHREPORT{DBLP:conf/lics/BohrerP18:TR,
	ref = {DBLP:conf/lics/BohrerP18},

  author    = {Brandon Bohrer and
               Andr{\'{e}} Platzer},
  title     = {A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow},
  number    = {CMU-CS-18-105},
  year      = {2018},
  month     = {},
  institution = {School of Computer Science,
               Carnegie Mellon University},
  address   = {Pittsburgh, PA},
  pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2018/CMU-CS-18-105.pdf}
}```