Applicability of Software Validation Techniques to Scientific Programs

被引：17

作者：

Howden, W.E. ^{[1
]}

机构：

[1] Department of Mathematics, University of Victoria, P.O. Box 1700, Victoria,BC,V8W 2Y2, Canada

来源：

ACM Transactions on Programming Languages and Systems | 1980年 / 2卷 / 03期

关键词：

Compendex;

D O I：

10.1145/357103.357107

中图分类号：

学科分类号：

摘要：

Software testing

引用

页码：307 / 320