학술논문
'학술논문'
에서 검색결과 19건 | 목록
1~10
Academic Journal
Muñoz, C.A.; Dutle, A.M.; Narkawicz, A.J.; Ayala-Rincón, M.; Moscato, M.M.; Almeida, A.A.; Ramos, T.M.F.; da Silva, A.B.A.
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
Muñoz, C.A.; Dutle, A.M.; Ayala-Rincón, M.; Moscato, M.M.; Narkawicz, A.J.; Almeida, A.A.; Ramos, T.M.F.; Avelar, A.B.
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)
주제어
언어