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 条
  • [31] Special Section on Formal Approach FOREWORD
    Yuen, Shoji
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (05) : 1341 - 1341
  • [32] Special Section on Formal Approach FOREWORD
    Okano, Kozo
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015, E98D (06): : 1120 - 1120
  • [33] Special Section on Formal Approaches FOREWORD
    Ishikawa, Fuyuki
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2021, E104D (10): : 1514 - 1514
  • [34] Special Section on Formal Approaches FOREWORD
    Aoki, Toshiaki
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2019, E102D (08): : 1438 - 1438
  • [35] Special Section on Formal Approach FOREWORD
    Nakamura, Masaki
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2017, E100D (06): : 1157 - 1157
  • [36] Special Section on Formal Approach FOREWORD
    Ogata, Kazuhiro
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2013, E96D (06) : 1257 - 1257
  • [37] Special Section on Formal Approaches FOREWORD
    Aoki, Toshiaki
    Aoki, Yoshitaka
    Kobayashi, Koichi
    Kuruma, Hironobu
    Tateishi, Takaaki
    Tsuchiya, Tatsuhiro
    Yamaguchi, Shingo
    Ishikawa, Fuyuki
    Nakagawa, Hiroyuki
    Yokogawa, Tomoyuki
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2020, E103D (08) : 1782 - 1782
  • [38] Special Section on Formal Approach FOREWORD
    Kameyama, Yukiyoshi
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2009, E92D (05) : 971 - 971
  • [39] Special Section on Formal Approach FOREWORD
    Ishihara, Yasunori
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2011, E94D (05) : 945 - 945
  • [40] Special Section on Formal Approach FOREWORD
    Isobe, Yoshinao
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2014, E97D (05): : 1139 - 1139
12345