Difference between revisions of "Category:Formal Method"

From PKC
Jump to navigation Jump to search
Line 4: Line 4:


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

Revision as of 09:21, 20 July 2021

Formal method is a computational technique to analyze computer programs.


References