학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 9건 | 목록 1~10
Conference
2016 IEEE 29th Computer Security Foundations Symposium (CSF) Computer Security Foundations Symposium (CSF), 2016 IEEE 29th. :253-267 Jun, 2016
Book
Deductive Software Verification - The KeY Book; 2016, p593-607, 15p
Book
Deductive Software Verification - The KeY Book; 2016, p289-351, 63p
Book
Deductive Software Verification - The KeY Book; 2016, p243-287, 45p
Book
Deductive Software Verification - The KeY Book; 2016, p193-241, 49p
Book
Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques; 2016, p749-765, 17p
Book
Dependable Software Engineering: Theories, Tools & Applications (9783319476766); 2016, p101-117, 17p
Conference
Grahl, Daniel (D-KIT-NDM) AMS Author Profile
Deductive software verification---the KeY book (20160101), 621-630.
검색 결과 제한하기
제한된 항목
[AR] Grahl, Daniel
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어