Predicting and Preventing Chaos with Formal Methods in TLA+ | Thomas Gebert |

Learning Resources Talks
1

Code Sync: Predicting and Preventing Chaos with Formal Methods in TLA+ | Thomas Gebert |

Comments welcome! View the #code-sync tag for more Code Sync talks!

1 Like