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