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', 'André 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', 'Erich Grä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}
}