Sign in

Future-dependent Flow Policies with Prophetic Variables.

Ximeng LiFlemming NielsonHanne Riis Nielson
Published in: PLAS@CCS (2016)
Keyphrases