Content deleted Content added
m structuring and spliting relevant parts |
→References: rm Terminology cat (the title may be a term, but the article is not about linguistics) |
||
Line 22:
{{soft-eng-stub}}
[[Category:Formal methods
[[Category:Computer programming]]
| |||