A hybrid, dynamic logic for hybrid-dynamic information flow

@techreport{DBLP:conf/lics/BohrerP18:TR,
	ref = {DBLP:conf/lics/BohrerP18},
	author = {['Brandon Bohrer', 'André 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}
}