Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008

被引：0
|
作者：
Antonio Cerone
Stefan Gruner
机构：
[1] United Nations University,International Institute for Software Technology
[2] Universiteit van Pretoria,Department of Computer Science
来源：
Software & Systems Modeling | 2011年 / 10卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：143 / 145
页数：2
相关论文
共 50 条
  • [1] 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
  • [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] SEFM: software engineering and formal methods
    Barthe, Gilles
    Pardo, Alberto
    Schneider, Gerardo
    [J]. SOFTWARE AND SYSTEMS MODELING, 2015, 14 (01): : 3 - 4
  • [5] SEFM: software engineering and formal methods
    Gilles Barthe
    Alberto Pardo
    Gerardo Schneider
    [J]. Software & Systems Modeling, 2015, 14 : 3 - 4
  • [6] Extended versions of papers presented at SEFM 14
    Giannakopoulou, Dimitra
    Salauen, Gwen
    Butler, Michael
    [J]. FORMAL ASPECTS OF COMPUTING, 2016, 28 (02) : 179 - 180
  • [7] SoSyM Special Section on Software Engineering and Formal Methods
    Jorge Cuellar
    Zhiming Liu
    [J]. Software & Systems Modeling, 2007, 6 : 37 - 38
  • [8] SoSyM special section on software engineering and formal methods
    Cuellar, Jorge
    Liu, Zhiming
    [J]. SOFTWARE AND SYSTEMS MODELING, 2007, 6 (01): : 37 - 38
  • [9] Papers on Formal Engineering Methods including Extended Versions of papers presented at ICFEM 2014 (Part 2)
    Merz, Stephan
    Pang, Jun
    Dong, Jin Song
    [J]. FORMAL ASPECTS OF COMPUTING, 2016, 28 (05) : 723 - 724
  • [10] Special section on formal methods in software practice
    Dillon, LK
    Sankar, S
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (01) : 2 - 3
12345