![](/img/cover-not-exists.png)
[ACM Press the 18th ACM SIGPLAN International Workshop - Berlin, Germany (2019.08.18-2019.08.18)] Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang - Erlang 2019 - Gaining trust by tracing security protocols
Fredlund, Lars-Åke, Benac Earle, Clara, Arts, Thomas, Svensson, HansYear:
2019
Language:
english
DOI:
10.1145/3331542.3342573
File:
PDF, 679 KB
english, 2019