Difference between revisions of "Category:Formal Method"

From PKC
Jump to navigation Jump to search
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
[[wikipedia:Formal method|Formal method]] is a computational technique to analyze computer programs.
{{:Formal method}}


=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