F.: Interface compatibility checking for software modules (2002)

by A Chakrabarti, L de Alfaro, T Henzinger, M Jurdziński, Mang
Venue:In