Interface compatibility checking for software modules (0)

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