Interface compatibility checking for software modules (2002)

by Arindam Chakrabarti, Luca de Alfaro, Thomas A Henzinger, Marcin Jurdzinski, Freddy Y C Mang
Venue:In Proceedings of 14th International Conference on Computer Aided Verification (CAV 2002), LNCS 2404