PROBLEM-ORIENTED PROGRAM VERIFICATION

被引：0

作者：

NEPOMNYASHCHII, VA

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1 / 9

页数：9

相关论文

共 7 条

[1]

Goodenough J. B., 1975, IEEE Transactions on Software Engineering, VSE-1, P156, DOI 10.1109/TSE.1975.6312836

[2]

Nepomniaschy V. A., 1985, PORGRAMMING, P3

[3]

NEPOMNIASCHY VA, 1982, PROGRAMMING, P63

[4]

NEPOMNYASHCHII VA, 1984, KIBERNETIKA, P43

[5]

NEPOMNYASHCHII VA, 1984, KIBERNETIKA, P21

[6]

NEPOMNYASHCHII VA, 1981, PROGRAMMIROVANIE, P34

[7]

WIRTH N, 1977, SYSTEMATIC PROGRAMMI