Go home now Header Background Image
Submission Procedure
share: |
Follow us

Dae-Kyoo Kim
Oakland University, USA

D.-K. Kim, J. Trujillo:
Foundations and Practices of Unified Modeling Language
page 2291 - 2292
Vol.16 / Issue 17
L. Lu, D.-K. Kim, Y. Zhu, S. Kim:
Verification of Structural Pattern Conformance Using Logic Programming
page 2455 - 2474
Vol.16 / Issue 17