On Locally Strongest Assumption Generation Method for Component-Based Software Verification

http://repository.vnu.edu.vn/handle/VNU_123/64760



On Locally Strongest Assumption Generation Method for Component-Based Software Verification

http://repository.vnu.edu.vn/handle/VNU_123/64760