학술논문
'학술논문'
에서 검색결과 1건 | 목록
1~10
Conference
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2023 IEEE/ACM 11th International Conference on. :120-129 May, 2023
검색 결과 제한하기
제한된 항목
[AR] Mansour, Ahmed Nagy Abdelkhalek
발행연도 제한
-
학술DB(Database Provider)
자료유형(Source Type)