SEFM: software engineering and formal methods

被引：0
|
作者：
Gilles Barthe
Alberto Pardo
Gerardo Schneider
机构：
[1] IMDEA Software Institute,Instituto de Computación, Facultad de Ingeniería
[2] Universidad de la República,Department of Computer Science and Engineering
[3] University of Gothenburg,undefined
来源：
Software & Systems Modeling | 2015年 / 14卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：3 / 4
页数：1
相关论文
共 50 条
  • [1] SEFM: software engineering and formal methods
    Barthe, Gilles
    Pardo, Alberto
    Schneider, Gerardo
    [J]. SOFTWARE AND SYSTEMS MODELING, 2015, 14 (01): : 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