Browsing by  Author496
Showing results 41 to 48 of 48
Article
SCIENCE OF COMPUTER PROGRAMMING, vol. 178, page. 20 - 42, 2019-06
Conference
International Conference on Formal Engineering Methods, 2011-10-26
Conference
International Conference on Fundamental Approaches to Software Engineering, 2012-03-26
Conference
한국 소프트웨어공학 학술대회, 2023-02-10
Article
SCIENCE OF COMPUTER PROGRAMMING, vol. 77, no. 12, page. 1235 - 1271, 2012-10-01
Conference
한국소프트웨어종합학술대회 (KSC), page. 176 - 178, 2021-12-21
Conference
한국컴퓨터종합학술대회 (KCC), page. 242 - 244, 2020-07-03
Article
정보과학회지, vol. 38, no. 4, page. 8 - 15, 2020-04