[1]
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
ISSN:0098-5589;收錄了 2 篇
[2]
2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2019)
ISSN:0270-5257;收錄了 1 篇
[3]
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
ISSN:0278-0070;收錄了 1 篇
[4]
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2021
ISSN:0302-9743;收錄了 1 篇
[5]
PROCEEDINGS OF THE THIRTY-FIRST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2022
ISSN:1045-0823;收錄了 1 篇
[6]
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
ISSN:1433-2779;收錄了 1 篇
[7]
THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 12
ISSN:2159-5399;收錄了 1 篇
[8]
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS
ISSN:2162-237X;收錄了 1 篇
[9]
IEEE Transactions on Artificial Intelligence
ISSN:2691-4581;收錄了 1 篇