Category:Formal specification languages
From HandWiki
Here is a list of articles in the category Formal specification languages of the Computing portal that unifies foundations of mathematics and computations using computers.
Wikimedia Commons has media related to Formal specification languages. |
Formal specification languages supporting formal methods.
Subcategories
This category has the following 4 subcategories, out of 4 total.
Pages in category "Formal specification languages"
The following 60 pages are in this category, out of 60 total.