ON THE UNCERTAINTY IN THE CORRECTNESS OF COMPUTER-PROGRAMS

被引：10

作者：

BASTANI, FB

机构：

来源：

关键词：

D O I：

10.1109/TSE.1985.232545

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：857 / 864

页数：8

相关论文

共 15 条

[11] SOFTWARE-RELIABILITY - STATUS AND PERSPECTIVES
RAMAMOORTHY, CV
BASTANI, FB
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (04) : 354 - 371
[12] RAMAMOORTHY CV, 1981, SEP P COMPCON WASH
[13] RAMAMOORTHY CV, 1980, P COMPSAC, P161
[14] RAMAMOORTHY CV, 1979, P TAIPEI SEMINAR SOF
[15] 1976, TRW762260 REP