A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 09, 2018
Source ID
10.1145/3209108.3209151

Entities

People

  • AndrĂ© Platzer
  • Rose Bohrer

Organizations

  • Air Force Office of Scientific Research
  • Carnegie Mellon University
  • National Science Foundation