A Usable Formal Methods Sample Problem from TEEP (update)
slides-118-ufmrg-sessa-a-usable-formal-methods-sample-problem-from-teep-01
| Meeting Slides | Usable Formal Methods Research Group (ufmrg) RG | |
|---|---|---|
| Date and time | 2023-11-08 12:00 | |
| Title | A Usable Formal Methods Sample Problem from TEEP (update) | |
| State | Active | |
| Other versions | ||
| Last updated | 2023-11-28 |
slides-118-ufmrg-sessa-a-usable-formal-methods-sample-problem-from-teep-01
Not available as plain text.
Download as PDF.