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.
D
- Denotational semantics (4 P)
P
- Petri nets (11 P)
- Process calculi (15 P)
Pages in category "Formal specification languages"
The following 43 pages are in this category, out of 43 total.
