Special section on formal methods in software practice

被引：0

|

作者：

Dillon, LK ^{[1
]}

Sankar, S

机构：

[1] Michigan State Univ, Dept Comp Sci, E Lansing, MI 48824 USA

[2] Univ Calif Santa Barbara, Dept Comp Sci, Santa Barbara, CA 93106 USA

[3] Sun Microsyst Inc, Mt View, CA 94043 USA

[4] Stanford Univ, Comp Syst Lab, Stanford, CA 94305 USA

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1998年 / 24卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：2 / 3

页数：2

相关论文

共 50 条

[21] Special section on formal approach
[J]. Yuen, S, 1600, Institute of Electronics, Information and Communication, Engineers, IEICE (E95-D):
[22] Special section on formal approaches
Ishikawa, Fuyuki
[J]. IEICE Transactions on Information and Systems, 2021, E104D (10)
[23] Special section on formal approach
Nakamura, Masaki
[J]. IEICE Transactions on Information and Systems, 2017, E100D (06)
[24] Special section on formal approach
Isobe, Yoshinao
[J]. IEICE Transactions on Information and Systems, 2014, e97 (05)
[25] Special Section on Formal Approaches
Aoki, Toshiaki
Aoki, Yoshitaka
Kuruma, Hironobu
Tateishi, Takaaki
Tsuchiya, Tatsuhiro
Toyoshima, Ichiro
Yamada, Akihisa
Yamaguchi, Shingo
Yokogawa, Tomoyuki
Kobayashi, Koichi
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2022, E105D (10) : 1657 - 1657
[26] Software (Formal methods)
[J]. NZ Eng, 5 (18):
[27] Foreword to the Special Issue on Formal Methods for Software Product Line Engineering
Batory, Don
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 121 - 122
[28] Formal methods in practice
Polak, W
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2002, 42 (01) : 75 - 85
[29] Special Section on Formal Approach FOREWORD
Seki, Hiroyuki
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2010, E93D (05) : 941 - 941
[30] Special Section on Formal Approach FOREWORD
Yuen, Shoji
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (05) : 1341 - 1341

← 1 2 3 4 5 →