학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 309건 | 목록 30~40
Conference
In: ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. (ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 7 November 2022, :633-645)
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, May 2018, 40(2))
Academic Journal
In: ACM Transactions on Embedded Computing Systems. (ACM Transactions on Embedded Computing Systems, December 2017, 17(2))
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, December 2017, 40(1))
Academic Journal
In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. (Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 13 October 2017, 375(2104))
Academic Journal
In: Formal Aspects of Computing. (Formal Aspects of Computing, 1 September 2017, 29(5):911-931)
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, August 2017, 39(4))
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, May 2017, 39(2))
Academic Journal
In: Information and Computation. (Information and Computation, 1 February 2017, 252:30-47)
검색 결과 제한하기
제한된 항목
[AR] Kroening, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어