학술논문
'학술논문'
에서 검색결과 6건 | 목록
1~10
Academic Journal
Proceedings of the ACM on Programming Languages. 3(OOPSLA):1-30
Backes, John; Bayless, Sam; Cook, Byron; Dodge, Catherine; Gacek, Andrew; Hu, Alan J.; Kahsai, Temesghen; Kocik, Bill; Kotelnikov, Evgenii, 1990; Kukovec, Jure; McLaughlin, Sean; Reed, Jason; Rungta, Neha; Sizemore, John; Stalzer, Mark; Srinivasan, Preethi; Subotić, Pavle; Varming, Carsten; Whaley, Blake
31st International Conference on Computer Aided Verification, CAV 2019, New York, USA Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11562 LNCS:231-241
Academic Journal
Conference
Kukovec, Jure (A-TUWN-NDM) AMS Author Profile; Tran, Thanh-Hai (A-TUWN-NDM) AMS Author Profile; Konnov, Igor (A-TUWN-NDM) AMS Author Profile
검색 결과 제한하기
제한된 항목
[AR] Kukovec, Jure
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어