5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2023)

被引：0
|
作者：
Autili, Marco [1 ]
Bucaioni, Alessio [2 ]
Filippone, Gianluca [1 ]
Fotrousi, Farnaz [3 ]
Saddem, Rim [4 ]
Scoccia, Gian Luca [5 ]
机构：
[1] Univ Aquila, Laquila, Italy
[2] Malardalen Univ, Vasteras, Sweden
[3] Chalmers Univ, Gothenburg, Sweden
[4] Aix Marseille Univ, Marseille, France
[5] Gran Sasso Sci Inst, Laquila, Italy
来源：
2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW | 2023年
关键词：
D O I：
10.1109/ASEW60602.2023.00034
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：9 / 10
页数：2
相关论文
共 50 条
  • [31] REPORT ON THE 5TH INTERNATIONAL WORKSHOP ON UNIFICATION (UNIF 91)
    CHEN, H
    [J]. SIGPLAN NOTICES, 1992, 27 (01): : 17 - 18
  • [32] 5th International Workshop on Aspect-Oriented Modeling
    Stein, D
    Kienzle, J
    Kandé, M
    [J]. UML MODELING LANGUAGES AND APPLICATIONS, 2005, 3297 : 13 - 22
  • [33] SEROLOGICAL ANALYSIS OF 5TH INTERNATIONAL HISTOCOMPATIBILITY WORKSHOP ANTISERA
    MATTIUZ, P
    BELVEDERE, M
    CURTONI, ES
    PIAZZA, A
    RICHIARDI, P
    SCUDELLER, G
    [J]. TISSUE ANTIGENS, 1975, 5 (05): : 431 - 441
  • [34] 5TH INTERNATIONAL WORKSHOP ON CHROMOSOMES IN SOLID TUMORS - OVERVIEW
    BERGER, R
    [J]. CANCER GENETICS AND CYTOGENETICS, 1993, 66 (02) : 138 - 140
  • [35] Special issue on the 5th International Workshop Diamond Electrodes
    Schäfer, L
    [J]. NEW DIAMOND AND FRONTIER CARBON TECHNOLOGY, 2003, 13 (02):
  • [36] 5TH INTERNATIONAL WORKSHOP ON GLASSES AND CERAMICS FROM GELS
    不详
    [J]. PTB-MITTEILUNGEN, 1989, 99 (06): : 439 - 440
  • [37] Simulation of Multiphysics Multiscale Systems, 5th International workshop
    Krzhizhanovskaya, Valeria V.
    Hoekstra, Alfons G.
    [J]. COMPUTATIONAL SCIENCE - ICCS 2008, PT 2, 2008, 5102 : 165 - 166
  • [38] The 5th International Workshop on Non-equilibrium Thermodynamics
    Garcia-Colin, L. S.
    Lopez de Haro, M.
    Vazquez Hurtado, F.
    [J]. JOURNAL OF NON-NEWTONIAN FLUID MECHANICS, 2010, 165 (17-18) : 923 - 924
  • [39] 5th International Workshop on In Situ Visualization (WOIV'21)
    [J]. HIGH PERFORMANCE COMPUTING - ISC HIGH PERFORMANCE DIGITAL 2021 INTERNATIONAL WORKSHOPS, 2021, 12761 : 470 - 473
  • [40] REPORT OF 5TH INTERNATIONAL CAFFEINE WORKSHOP, CANCUN, 1984
    BARONE, J
    GRICE, HC
    [J]. FOOD AND CHEMICAL TOXICOLOGY, 1985, 23 (03) : 389 - 399
12345