Content deleted Content added
Makecat-bot (talk | contribs) m r2.7.3) (Robot: Adding fa:رده:تحلیل برنامه |
m Bot: Migrating 4 interwiki links, now provided by Wikidata on d:q9411827 |
||
Line 5:
[[Category:Formal methods]]
[[Category:Programming language theory]]
|