Editing Formal methods (section)

==External links==
* [http://www.fmeurope.org/ Formal Methods Europe] (FME)
* [https://formalmethods.wikia.org/ Formal Methods Wiki]
* [http://foldoc.org/formal+methods Formal methods] from [https://foldoc.org/ Foldoc]
;Archival material
* [https://web.archive.org/web/20130404202524/http://academic.research.microsoft.com/Keyword/14916 Formal method] keyword on [[Microsoft Academic Search]] via [[Archive.org]]
* [https://web.archive.org/web/20170713233230/http://www.fm4industry.org/index.php/Evidence_on_Formal_Methods_uses_and_impact_on_Industry Evidence on Formal Methods uses and impact on Industry] supported by the [http://www.deploy-project.eu DEPLOY] {{Webarchive|url=https://web.archive.org/web/20120608063125/http://www.deploy-project.eu/ |date=2012-06-08 }} project (EU FP7) in [[Archive.org]]

{{Computer science}}
{{Software engineering}}

{{DEFAULTSORT:Formal Methods}}
[[Category:Formal methods| ]]
[[Category:Software development philosophies]]
[[Category:Theoretical computer science]]
[[Category:Specification languages]]