Chat Log interim-2023-ufmrg-02: Fri 17:00
chatlog-interim-2023-ufmrg-02-202309011700-00
Meeting Chat Log | Usable Formal Methods Research Group (ufmrg) RG | |
---|---|---|
Title | Chat Log interim-2023-ufmrg-02: Fri 17:00 | |
Session | Materials | |
Last updated | 2023-09-01 |
chatlog-interim-2023-ufmrg-02-202309011700-00