Usable Formal Methods Research Group (ufmrg)
Document | Date | Status | IPR | AD/Shepherd | |
---|---|---|---|---|---|
Related Internet-Drafts and RFCs (1 hit) | |||||
53 pages
draft-petithuguenin-ufmrg-formal-sexpr-05
A Formalization of Symbolic Expressions |
2024-11-04 | I-D Exists |
|