Message from the chairs formaliSE 2020

被引：0
|
作者：
Gnesi, Stefania [1 ]
Plat, Nico [2 ]
Bae, Kyungmin [3 ]
Bianculli, Domenico [4 ]
Krstic, Srdan [5 ]
机构：
[1] ISTI-CNR, Italy
[2] Thanos, Netherlands
[3] POSTECH, Korea, Republic of
[4] University of Luxembourg, Luxembourg, Luxembourg
[5] ETH Zürich, Switzerland
来源：
Proceedings - 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering, FormaliSE 2020 | 2020年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Message from the Chairs: FormaliSE 2023
    Gnesi, Stefania
    Plat, Nico
    Jakobs, Marie-Christine
    Murray, Toby
    Ferrari, Alessio
    Broccia, Giovanna
    Proceedings - 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering, FormaliSE 2023, 2023,
  • [2] Message from the TestEd 2020 Chairs
    Lindstrom, Birgitta
    Offutt, Jeff
    Baral, Kesina
    Marki, Andras
    Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, 2020,
  • [3] Message from the SEAD 2020 Chairs
    Galster, Matthias
    Mirakhorli, Mehdi
    Williams, Laurie
    SEAD 2020 - Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment, Co-located with ESEC/FSE 2020, 2020,
  • [4] Message from the WoSAR 2020 Chairs
    Cotroneo, Domenico
    Avritzer, Alberto
    Xie, Xiaoyuan
    1600, Institute of Electrical and Electronics Engineers Inc.
  • [5] Message from the Chairs of MSR 2020
    Gousios, Georgios
    Nadi, Sarah
    Proceedings - 2020 IEEE/ACM 17th International Conference on Mining Software Repositories, MSR 2020, 2020,
  • [6] Message from the HCSECS 2020 Chairs
    Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2020, 2020,
  • [7] Message from the NoF 2020 Chairs
    Proceedings of the 11th International Conference on Network of the Future, NoF 2020, 2020,
  • [8] Message from MUTATION 2020 Chairs
    Crest, Ucl, United Kingdom
    不详
    Proc. - IEEE Int. Conf. Softw. Test., Verif. Valid. Workshops, ICSTW, 2020, (xxi):
  • [9] Message from the Smagrimet 2020 Chairs
    Malaric, Roman
    Petrovic, Goran
    Jurcevic, Marko
    Proceedings of 2020 3rd International Colloquium on Intelligent Grid Metrology, SMAGRIMET 2020, 2020,
  • [10] Message from the chairs ICPC 2020
    Guéhéneuc, Yann-Gaël
    Hayashi, Shinpei
    Choi, Eunjong
    1600, IEEE Computer Society
12345