학술논문
'학술논문'
에서 검색결과 38건 | 목록
30~40
Academic Journal
Macomber, Meghan W.; Phillips, Mark; Tarapov, Ivan; Jena, Rajesh; Nori, Aditya; Carter, David; Le Folgoc, Loic; Criminisi, Antonio; Nyflot, Matthew J.
Book
Verified Software: Theories, Tools, Experiments (9783540878728); 2008, p4-5, 2p
UPMARC ESEC/FSE '13. :92-102
Gordon, Andrew D.; Aizatulin, Mihhail; Borgström, Johannes; Claret, Guillaume; Graepel, Thore; Nori, Aditya; Rajamani, Sriram; Russo, Claudio
UPMARC Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages ACM SIGPLAN NOTICES. :403-416
Conference
Padhi, Saswat (1-UCLA-NDM) AMS Author Profile; Millstein, Todd (1-UCLA-NDM) AMS Author Profile; Nori, Aditya (4-MSFT) AMS Author Profile; Sharma, Rahul (6-MSFTI) AMS Author Profile
검색 결과 제한하기
제한된 항목
[AR] Nori, Aditya
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어