Open Access System for Information Sharing

8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, co-located with the ACM SIGPLAN Conference on, page. 56 - 67, 2022-12-07

The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 2019-01-18

9th ACM International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2023), page. 1 - 1, 2023-10-18

International Symposium on Formal Methods, 2014-05-12

SCIENCE OF COMPUTER PROGRAMMING, vol. 103, page. 13 - 50, 2015-06-01

36th IEEE/ACM International Conference on Automated Software Engineering, 2021-11-17

SCIENCE OF COMPUTER PROGRAMMING, vol. 200, 2020-12

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11222 LNCS, page. VI, 2018-10

19th International Conference on Formal Aspects of Component Software (FACS 2023), page. 127 - 152, 2023-10-19

International Symposium on Formal Aspects of Component Software, 2012-09-12

SCIENCE OF COMPUTER PROGRAMMING, vol. 91, page. 3 - 44, 2014-10-01

International Conference on Formal Aspects of Component Software, page. 78 - 97, 2017-10-11

LOGIC, REWRITING, AND CONCURRENCY, vol. 9200, page. 114 - 134, 2015-08

International Conference on Computer-Aided Verification, page. 491 - 504, 2021-07-22

INTERNATIONAL WORKSHOP ON REWRITING LOGIC AND ITS APPLICATIONS, 2014-04-05

정보과학회논문지, vol. 46, no. 12, page. 1279 - 1290, 2019-12

International Workshop on Rewriting Logic and its Applications (WRLA), page. 220 - 232, 2020-10-22

한국소프트웨어종합학술대회 (KSE), page. 296 - 298, 2019-12-20

한국컴퓨터종합학술대회 (KCC2022), 2022-06-29

SCIENCE OF COMPUTER PROGRAMMING, vol. 99, page. 193 - 234, 2015-03-07