학술논문
'학술논문'
에서 검색결과 204건 | 목록
1~10
Conference
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2022 IEEE/ACM 44th International Conference on. :536-548 May, 2022
Academic Journal
In: Software and Systems Modeling . (Software and Systems Modeling, 2024)
Academic Journal
IEEE Access Access, IEEE. 9:160559-160579 2021
Academic Journal
In: Science of Computer Programming . (Science of Computer Programming, December 2024, 238)
Academic Journal
In: ACM Transactions on Computational Logic . (ACM Transactions on Computational Logic, 20 October 2022, 23(4))
Academic Journal
In: Formal Aspects of Computing . (Formal Aspects of Computing, 22 March 2024, 36(1))
Academic Journal
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, February 2022, 66(1):141-171)
Book
In: Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14573 LNCS:266-279)
Book
In: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14500 LNCS:26-47)
Book
In: iFM 2023 - 18th International Conference, iFM 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14300 LNCS:175-192)
검색 결과 제한하기
제한된 항목
[AR] Wehrheim, H.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어