학술논문
'학술논문'
에서 검색결과 44건 | 목록
1~10
Conference
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on. 2:209-218 May, 2015
Report
EPTCS 149, 2014, pp. 58-63
Report
Fifth International Joint Conference on Automated Reasoning (IJCAR), Edinburgh : United Kingdom (2010)
Report
Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA) (2008)
Conference
Proceedings of the 7th Workshop on Programming Languages and Analysis for Security. :1-12
Conference
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :114-126
검색 결과 제한하기
제한된 항목
[AR] Doligez, Damien
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어