Login / Signup

Input-Output Disjointness for Forward Expressions in the Logic of Information Flows.

Heba AamerJan Van den Bussche
Published in: ICDT (2021)
Keyphrases