학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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
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)
주제어
언어