Tran, H., & 		Hung, P.
(2018).
 On Locally Strongest Assumption Generation Method for Component-Based Software Verification.
<em>VNU Journal Of Science: Computer Science And Communication Engineering, 34</em>(2).
doi:10.25073/2588-1086/vnucsce.209