Usable Formal Methods Proposed Research Group (ufmrg)
| Document | Date | Status | IPR | AD/Shepherd | |
|---|---|---|---|---|---|
| Related Internet-Draft (1 hit) | |||||
|
18 pages
draft-farrell-ufmrg-sample-00
Usable Formal Methods Research Group Sample Problems |
2023-06-19 | I-D Exists |
|
||