학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 8건 | 목록 1~10
Conference
2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) Blockchain and Cryptocurrency (ICBC), 2023 IEEE International Conference on. :1-9 May, 2023
Conference
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on. 2:139-148 May, 2015
Conference
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on. :45-52 Nov, 2006
Academic Journal
ACM SIGAda Ada Letters. 36(2):47-48
Academic Journal
Innovations in Systems and Software Engineering: A NASA Journal. Oct, 2008, Vol. 4 Issue 3, p267, 8 p.
Conference
Delahaye, David (F-CNAM-CE) AMS Author Profile; Dubois, Catherine (F-CNAM-CE) AMS Author Profile; Étienne, Jean-Frédéric (F-CNAM-CE) AMS Author Profile
Theorem proving in higher order logics (20070101), 70-85.
검색 결과 제한하기
제한된 항목
[AR] Etienne, Jean-Frederic
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어