KOR

e-Article

Publication date
-
(ex : 2010-2015)
'e-Article' searched 116results | List 1~10
Conference
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :44-54 Apr, 2024
Conference
2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ICSTW Software Testing, Verification and Validation Workshops (ICSTW), 2023 IEEE International Conference on. :52-61 Apr, 2023
Conference
2014 XL Latin American Computing Conference (CLEI) Computing Conference (CLEI), 2014 XL Latin American. :1-9 Sep, 2014
Refining the search results
Facets
[AR] Aranda, Jesús
Publication year
-
Database provider
Title
Publisher
자료유형(Source Type)
Subject
Language