A SPECIFIERS INTRODUCTION TO FORMAL METHODS

被引：194

作者：

WING, JM

机构：

来源：

关键词：

D O I：

10.1109/2.58215

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

页码：8 / &

共 92 条

[61]

LOCASSO R, 1980, TML6021001000 SYST D

[62] AN OVERVIEW OF ANNA, A SPECIFICATION LANGUAGE FOR ADA [J].

LUCKHAM, DC ;

VONHENKE, FW .

[63]

LYNCH N, 1987, HIERARCHICAL CORRECT

[64]

Manna Z., 1980, ACM Transactions on Programming Languages and Systems, V2, P90, DOI 10.1145/357084.357090

[65]

MANNA Z, 1981, STANCS81836 STANF U

[66]

MARTINLOF P, 1973, 6TH INT C LOG METH P, P153

[67]

MCMULLIN PR, 1983, IEEE T SOFTWARE ENG, V9

[68]

MEYER B, 1985, IEEE SOFTWARE JAN, P6

[69]

MILNER AJR, 1980, LECTURE NOTES COMPUT, V92

[70]

MOORE AP, 1988, 1988 P NAT COMP SEC