A Formal Framework for On-line Software Version Change

Deepak Gupta, Pankaj Jalote, Gautam Barua. A Formal Framework for On-line Software Version Change. IEEE Trans. Software Eng., 22(2):120-131, 1996. [doi]

Abstract

Abstract is missing.