학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 19건 | 목록 1~10
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, December 2023, 67(4))
Academic Journal
In: Innovations in Systems and Software Engineering. (Innovations in Systems and Software Engineering, December 2023, 19(4):337-338)
Conference
In: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, FMCAD 2023, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, FMCAD 2023. (Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, FMCAD 2023, 2023, :237-246)
Book
In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13712 LNCS:59-73)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 12th International Conference on Interactive Theorem Proving, ITP 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2021, 193)
Book
In: NASA Formal Methods - 13th International Symposium, NFM 2021, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12673 LNCS:v-vi)
Academic Journal
In: ACM Transactions on Software Engineering and Methodology. (ACM Transactions on Software Engineering and Methodology, March 2014, 23(2))
Book
In: NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11460 LNCS:363-370)
Book
In: Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11800 LNCS:21-37)
Book
In: Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11408 LNCS:169-183)
검색 결과 제한하기
제한된 항목
[AR] Moscato, M.M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어