A Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama

Browse the full ICTAC paper archive.