1、
介绍了软件开发方法中的一种形式化分析方法：Vienna development method（VDM）。
互联网摘选
2、
The words themselves have no meaning, but language is a formalized way of thinking.
文字本身不具意义, 而语言却是思维模式的形式化.
互联网摘选
3、
该文在对周期关联规则进行深入研究的基础上，形式化定义了基本的时域关联规则概念，并提出了基于Apriori的发现周期关联规则的CCAR算法。
互联网摘选
4、
Phagocytosis and Transport of Formalized Campylobacter Jejuni by M Cells into Mouse Peyer's Patches
M细胞吞噬并转运甲醛化空弯菌进入Peyer集结
互联网摘选
