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 条
  • [31] Message from the GAUSS 2020 Workshop Chairs
    Braione, Pietro
    Briola, Daniela
    De Angelis, Guglielmo
    Gallo, Francesco
    Poggi, Francesco
    Quattrocchi, Giovanni
    Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020, 2020,
  • [32] Message from the Program Chairs DependSys 2020
    Choudhury, Salimur
    Lu, Qinghua
    Feng, Jun
    Proceedings - 2020 IEEE 6th International Conference on Dependability in Sensor, Cloud and Big Data Systems and Application, DependSys 2020, 2020,
  • [33] Message from the general chairs isorc 2020
    Pacher, Mathias
    Liu, Weichen
    Gokhale, Aniruddha
    Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020, 2020,
  • [34] Message from the NIER Chairs of ICSE 2020
    Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020, 2020,
  • [35] Message from the General Chairs: DSC 2020
    Li, Qing
    Ozsu, M. Tamer
    Xiong, Hui
    Proceedings - 2020 IEEE 5th International Conference on Data Science in Cyberspace, DSC 2020, 2020,
  • [36] Message from HPCC 2020 Steering Chairs
    Yang, Laurence T.
    Martino, Beniamino Di
    Proceedings - 2020 IEEE 22nd International Conference on High Performance Computing and Communications, IEEE 18th International Conference on Smart City and IEEE 6th International Conference on Data Science and Systems, HPCC-SmartCity-DSS 2020, 2020,
  • [37] Message from General Chairs: ICISCE 2020
    Proceedings - 2020 7th International Conference on Information Science and Control Engineering, ICISCE 2020, 2020,
  • [38] Message from the Program Chairs SP 2020
    Shacham, Hovav
    Oprea, Alina
    Proceedings - IEEE Symposium on Security and Privacy, 2020, 2020-May
  • [39] Message from the Track Chairs of MSR 2020
    Baysal, Olga
    Vasilescu, Bogdan
    Proceedings - 2020 IEEE/ACM 17th International Conference on Mining Software Repositories, MSR 2020, 2020,
  • [40] Message from the General Chairs: ICSSA 2020
    Ryoo, Jungwoo
    Tjoa, Simon
    Kim, Hyongshick
    Proceedings - 2020 International Conference on Software Security and Assurance, ICSSA 2020, 2020,
12345