ON LOCALLY MINIMUM AND STRONGEST ASSUMPTION GENERATION METHOD FOR COMPONENT-BASED SOFTWARE VERIFICATION

Hoang-Viet TRAN  Ngoc Hung PHAM  Viet Ha NGUYEN  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2019/05/16
DOI: 10.1587/transinf.2018FOP0004
Full Text: PDF(568.3KB)