A Logic-Based Framework for Reasoning Support in Software Evolution.

Vassilios C. Vescoukis, Nikolaos Papaspyrou, Emmanuel Skordalakis

Browse the full CaiSE paper archive.