Guest Editorial - Integrated Formal Methods

被引：0
|
作者：
Boiten, E
Derrick, J
Smith, G
机构：
来源：
FORMAL ASPECTS OF COMPUTING | 2005年 / 17卷 / 04期
关键词：
D O I：
10.1007/s00165-005-0078-5
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：389 / 389
页数：1
相关论文
共 50 条
  • [31] Guest Editorial: Technology Supported Assessment in Formal and Informal Learning
    Garcia Laborda, Jesus
    Sampson, Demetrios G.
    Hambleton, Ronald K.
    Guzman, Eduardo
    EDUCATIONAL TECHNOLOGY & SOCIETY, 2015, 18 (02): : 1 - 2
  • [32] Guest Editorial Integrated Photonics for Quantum Applications
    Diamanti, Eleni
    Karinou, Fotini
    Liu, Jin
    Moody, Galan
    Pingault, Benjamin
    Sorace-Agaskar, Cheryl
    Srinivasan, Kartik
    Zhu, Di
    JOURNAL OF LIGHTWAVE TECHNOLOGY, 2022, 40 (23) : 7482 - 7484
  • [33] Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015)
    Cornelio, M. L.
    Roscoe, A. W.
    SCIENCE OF COMPUTER PROGRAMMING, 2019, 181 : 82 - 83
  • [34] Theme issue on Integrated Formal Methods
    Johnsen, Einar Broch
    Petre, Luigia
    SOFTWARE AND SYSTEMS MODELING, 2016, 15 (04): : 933 - 935
  • [35] New Opportunities for Integrated Formal Methods
    Gleirscher, Mario
    Foster, Simon
    Woodcock, Jim
    ACM COMPUTING SURVEYS, 2020, 52 (06)
  • [36] Theme issue on Integrated Formal Methods
    Einar Broch Johnsen
    Luigia Petre
    Software & Systems Modeling, 2016, 15 : 933 - 935
  • [37] Guest Editorial [Guest Editorial]
    Chang, Ching-Ray
    Lai, Chao Sung
    IEEE NANOTECHNOLOGY MAGAZINE, 2023, 17 (06) : 5 - 5
  • [38] Guest editorial: Adaptation methods for multimedia analysis
    Han, Yahong
    Yang, Yi
    NEUROCOMPUTING, 2016, 173 : 81 - 82
  • [39] Stochastic boundary element methods - Guest editorial
    Burczynski, T
    Cheng, AHD
    ENGINEERING ANALYSIS WITH BOUNDARY ELEMENTS, 1997, 19 (03) : 179 - 179
  • [40] Guest Editorial: Scale Space and Variational Methods
    Lellmann, Jan
    Modersitzki, Jan
    JOURNAL OF MATHEMATICAL IMAGING AND VISION, 2021, 63 (02) : 131 - 132
12345