학술논문
'학술논문'
에서 검색결과 404건 | 목록
1~10
Report
Alpernas, Kalev; Panda, Aurojit; Rabinovich, Alexander; Sagiv, Mooly; Shenker, Scott; Shoham, Sharon; Velner, Yaron
Formal Methods in System Design 54 (2019) 191-231
Conference
Padon, Oded; Hoenicke, Jochen; McMillan, Kenneth L.; Podelski, Andreas; Sagiv, Mooly; Shoham, Sharon
2018 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2018. :1-11 Oct, 2018
Academic Journal
In Journal of Symbolic Computation 2010 45(2):153-172
검색 결과 제한하기
제한된 항목
[AR] Sagiv, Mooly
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어