Content deleted Content added
Citation bot (talk | contribs) Alter: title, pages, template type. Add: s2cid, chapter. Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox2 | #UCB_webform_linked 1587/2384 |
|||
Line 32:
[[Category:Formal methods terminology]]
[[Category:Computer programming]]
{{soft-eng-stub}}
|