viktoriafordos / ew20
View external linksLinks

Prototype implementation of the security analysis introduced in V. Fördős: Secure Design and Verification of Erlang Systems paper
12Aug 13, 2021Updated 4 years ago

Alternatives and similar repositories for ew20

Users that are interested in ew20 are comparing it to the libraries listed below

Sorting:

Are these results useful?