Skip to content

A Calculus for Modeling Floating Authorizations.

Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira

VenueCFORTE
Year2018
ProceedingsFORTE

Browse the full FORTE paper archive.