Login / Signup

Combining many-sorted logic and object-oriented programming.

Byeong Man KimK. Y. RyuSeung Ryoul MaengJ. W. Cho
Published in: Inf. Softw. Technol. (1993)
Keyphrases