학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 101건 | 목록 20~30
Conference
In: CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023. (CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, 11 January 2023, :320-333)
Book
In: Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14308 LNCS:3-8)
Conference
In: Proceedings - 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Proceedings - 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering, FormaliSE 2023. (Proceedings - 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering, FormaliSE 2023, 2023, :66-75)
검색 결과 제한하기
제한된 항목
[AR] Webb, B.J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어