Usable Formal Methods Research Group (ufmrg)
| Document | Date | Status | IPR | AD/Shepherd | |
|---|---|---|---|---|---|
| Related Internet-Drafts and RFCs (1 hit) | |||||
|
9 pages
draft-mt-ufmrg-teep-sample-01
A Usable Formal Methods Sample Problem from TEEP |
2023-11-05 | I-D Exists |
|
||