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 |
|