학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 38건 | 목록 30~40
Periodical
Resonance; February 2004, Vol. 9 Issue: 2 p39-49, 11p
Periodical
Resonance; September 2003, Vol. 8 Issue: 9 p49-59, 11p
Book
Verified Software: Theories, Tools, Experiments (9783540878728); 2008, p4-5, 2p
UPMARC Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages ACM SIGPLAN NOTICES. :403-416
Patent
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
Computer aided verification. Part I (20190101), 315-334.
검색 결과 제한하기
제한된 항목
[AR] Nori, Aditya
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어