Login / Signup

Reversible client/server interactions.

Franco BarbaneraMariangiola Dezani-CiancagliniUgo de'Liguoro
Published in: Formal Aspects Comput. (2016)
Keyphrases