== وصلات خارجية ==* Formal Methods Europe (FME)* Formal method keyword on Microsoft Academic Search* Foldoc:formal methods* Evidence on Formal Methods uses and impact on Industry Supported by the DEPLOY project (EU FP7)
==External links==* Formal Methods Europe (FME)* Formal method keyword on Microsoft Academic Search* Foldoc:formal methods* Evidence on Formal Methods uses and impact on Industry Supported by the DEPLOY project (EU FP7)