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.
Text is: available under the: Creative Commons Attribution-ShareAlike License. Additional terms may apply.
↑