On Implementation of the Assumption Generation Method for Component-Based Software Verification.

Chi-Luan Le, Hoang-Viet Tran, Pham Ngoc Hung

Browse the full ACIIDS paper archive.