Difference between revisions of "Category:Formal Method"

From PKC
Jump to navigation Jump to search
Line 1: Line 1:
[[wikipedia:Formal method|Formal method]] is a computational technique to analyze computer programs.
{{:Formal method}}


=References=
=References=


[[Category:Compiler]]
[[Category:Compiler]]

Revision as of 08:52, 19 July 2021

Formal method is a computational technique to analyze computer programs.


References

Subcategories

This category has the following 4 subcategories, out of 4 total.

A

L

N

U

Retrieved from "https://pkc.pub/index.php?title=Category:Formal_Method&oldid=6187"