Hung, Pham Ngoc, VNU University of Engineering and Technology, Viet Nam
-
Vol 32 No 2 (2016) - Special Issue for the 20th Anniversary of VNU-UET Faculty of Information Technology
A Framework for Modeling and Modular Verifying of Component-based System Designs
Abstract PDF -
Vol 34 No 2 (2018) - Articles
On Locally Strongest Assumption Generation Method for Component-Based Software Verification
Abstract PDF