Interface Compatibility Checking for Software Modules.

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang

Browse the full CAV paper archive.