Secure design and verification of Erlang systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Viktória Fördós. Secure design and verification of Erlang systems. In Annette Bieniusa, Viktória Fördós, editors, Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020. pages 31-40, ACM, 2020. [doi]

This author has not been identified. Look up 'Viktória Fördós' in Google

runs on WebDSL