Kyungmin Bae

Books
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2022
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2018