Login / Signup

Formal Verification of Graphical Properties of Interactive Systems.

Daniel PrunPascal Béger
Published in: Proc. ACM Hum. Comput. Interact. (2022)
Keyphrases