학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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
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
Conference
Proceedings of the 2008 ACM SIGPLAN workshop on ML. :13-22
검색 결과 제한하기
제한된 항목
[AR] Doligez, Damien
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어