Semi-Automated Software Integration: An Approach Based on Logical Inference

Mikhail Kazakov, Habib Abdulrab. Semi-Automated Software Integration: An Approach Based on Logical Inference. In ICEIS (1). pages 527-530, 2004.

Abstract

Abstract is missing.