Talk 21:00

Elixir for Automated Reasoning

Name: Elixir for Automated Reasoning
Description: Exploring the use of Elixir for automated reasoning and formal verification techniques.

Exploring the use of Elixir for automated reasoning and formal verification techniques.

Speakers