Difference between revisions of "Formal method"

From PKC
Jump to navigation Jump to search
(Created page with "Formal method is a computational technique to analyze computer programs. Category:Formal Method")
 
 
Line 1: Line 1:
[[wikipedia:Formal method|Formal method]] is a computational technique to analyze computer programs.
[[wikipedia:Formal method|Formal method]] is a computational technique to analyze computer programs.


<noinclude>
[[Category:Formal Method]]
[[Category:Formal Method]]
</noinclude>

Latest revision as of 09:23, 20 July 2021

Formal method is a computational technique to analyze computer programs.