Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers

Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer

School of Computing

Research output: Contribution to journal › Article

Sort by

Computer Science