Rejoinder: In defense of formal methods

被引：7

作者：

Ahlgren, P ^{[1
]}

Jarneving, B

Rousseau, R

机构：

[1] Swedish Sch Lib & Informat Sci, Boras, Sweden

[2] UA, Antwerp, Belgium

[3] KHBO, Oostende, Belgium

来源：

JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY | 2004年 / 55卷 / 10期

关键词：

D O I：

10.1002/asi.20029

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：936 / 936

页数：1