학술논문
'학술논문'
에서 검색결과 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
Ábrahám, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.
ACM Communications in Computer Algebra. 50(4):145-147
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)
주제어
언어