Terminology associated with formal methods, a mathematical branch of software engineering.
Pages in category "Formal methods terminology"
The following 8 pages are in this category, out of 8 total. This list may not reflect recent changes.
Terminology associated with formal methods, a mathematical branch of software engineering.
The following 8 pages are in this category, out of 8 total. This list may not reflect recent changes.