학술논문
'학술논문'
에서 검색결과 91건 | 목록
10~20
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 29 April 2022, 6(OOPSLA1))
Academic Journal
In: Innovations in Systems and Software Engineering . (Innovations in Systems and Software Engineering, 2022)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2022, 6(POPL))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 13 November 2020, 4(OOPSLA))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2020, 4(POPL))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, October 2019, 3(OOPSLA))
Academic Journal
Sharif, H.; Srivastava, P.; Huzaifa, M.; Kotsifakou, M.; Joshi, K.; Zhao, N.; Adve, V.S.; Misailovic, S.; Adve, S.; Sarita, Y.
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, October 2019, 3(OOPSLA))
Academic Journal
Chang, Y.; Ziegler, M.; Ignatova, D.; Ivanov, P.; Profanter, R.; Kerl, K.; Dummer, R.; Contassot, E.; French, L.E.; Cozzio, A.; Misailovic, S.; Hoetzenecker, W.; Vechev, M.; Guenova, E.
In Journal of Investigative Dermatology May 2018 138(5) Supplement:S175-S175
Book
In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14216 LNCS:288-301)
Conference
In: Proceedings - International Conference on Software Engineering , Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. (Proceedings - International Conference on Software Engineering, 2023, :1801-1813)
검색 결과 제한하기
제한된 항목
[AR] Misailovic, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어