학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 4건 | 목록 1~10
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, 2024)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 18th International Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2023 and 10th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 23 April 2024, 402:118-130)
Academic Journal
In: Formal Aspects of Computing. (Formal Aspects of Computing, 21 July 2022, 34(1))
Book
In: Static Analysis - 29th International Symposium, SAS 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13790 LNCS:19-43)
검색 결과 제한하기
제한된 항목
[AR] Amrollahi, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어