Video/Elixir Code Generation from TLA + specifications - Gabriela Moreira Mafra

From PKC
Jump to navigation Jump to search

Mafra, Gabriela Moreira (Oct 11, 2021). Elixir Code Generation from TLA + specifications - Gabriela Moreira Mafra. local page: Markus Kuppe. 

References


Related Pages

Organized by: Markus Kuppe Presented by:Gabriela Moreira Mafra


Retrieved from "https://pkc.pub/index.php?title=Video/Elixir_Code_Generation_from_TLA_%2B_specifications_-_Gabriela_Moreira_Mafra&oldid=32915"