SEFM: software engineering and formal methods

被引：0
|
作者：
Barthe, Gilles [1 ]
Pardo, Alberto [2 ]
Schneider, Gerardo [3 ]
机构：
[1] IMDEA Software Inst, Madrid, Spain
[2] Univ Republica, Inst Comp, Fac Ingn, Montevideo, Uruguay
[3] Univ Gothenburg, Dept Comp Sci & Engn, Gothenburg, Sweden
来源：
SOFTWARE AND SYSTEMS MODELING | 2015年 / 14卷 / 01期
关键词：
D O I：
10.1007/s10270-014-0404-6
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：3 / 4
页数：2
相关论文
共 50 条
  • [1] SEFM: software engineering and formal methods
    Gilles Barthe
    Alberto Pardo
    Gerardo Schneider
    [J]. Software & Systems Modeling, 2015, 14 : 3 - 4
  • [2] Software engineering and formal methods: SEFM 2019 special section
    Olveczky, Peter Csaba
    Salaun, Gwen
    [J]. SOFTWARE AND SYSTEMS MODELING, 2021, 20 (02): : 291 - 292
  • [3] Software engineering and formal methods: SEFM 2019 special section
    Peter Csaba Ölveczky
    Gwen Salaün
    [J]. Software and Systems Modeling, 2021, 20 : 291 - 292
  • [4] Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008
    Antonio Cerone
    Stefan Gruner
    [J]. Software & Systems Modeling, 2011, 10 : 143 - 145
  • [5] Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008
    Cerone, Antonio
    Gruner, Stefan
    [J]. SOFTWARE AND SYSTEMS MODELING, 2011, 10 (02): : 143 - 145
  • [6] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [7] Software engineering and formal methods
    Hinchey, Mike
    Jackson, Michael
    Cousot, Patrick
    Cook, Byron
    Bowen, Jonathan P.
    Margaria, Tiziana
    [J]. COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
  • [8] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    [J]. Software & Systems Modeling, 2008, 7 : 255 - 256
  • [9] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    [J]. REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [10] FORMAL METHODS IN SOFTWARE ENGINEERING
    LEVESON, NG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
12345