Difference between revisions of "Category:Formal Method"

From PKC
Jump to navigation Jump to search
 
(One intermediate revision by the same user not shown)
Line 2: Line 2:


=References=
=References=
 
<noinclude>
[[Category:Compiler]]
[[Category:Compiler]]
[[Category:Methodology]]
</noinclude>

Latest revision as of 09:23, 20 July 2021

Formal method is a computational technique to analyze computer programs.


References