Login / Signup

A Calculus for Modeling Floating Authorizations.

Jovanka PantovicIvan ProkicHugo Torres Vieira
Published in: FORTE (2018)
Keyphrases