학술논문
'학술논문'
에서 검색결과 64건 | 목록
1~10
Academic Journal
Berzish, Murphy; Day, Joel D.; Ganesh, Vijay; Kulczynski, Mitja; Manea, Florin; Mora, Federico; Nowotka, Dirk
In Theoretical Computer Science 17 January 2023 943:50-72
Academic Journal
In Information and Computation November 2022 289 Part A
Academic Journal
In Discrete Applied Mathematics 15 October 2020 285:61-78
Academic Journal
In Theoretical Computer Science 11 October 2015 601:2-14
Conference
2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2020 IEEE/ACM 8th International Conference on. :87-97 May, 2020
검색 결과 제한하기
제한된 항목
[AR] Day, Joel D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어