Nam T. Doan

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Tho T. Quan, Duc L. N. Hoang, B. Tam T. Nguyen, An N. Nguyen, Quan D. Tran, Phung H. Nguyen, Thang H. Bui, Anh T. Do, Linh V. Huynh, Nam T. Doan, Nguyen T. Huynh, Thien D. Nguyen, Binh T. T. Nguyen, Vu H. Nguyen
MAFSE: A Model-Based Framework for Software Verification. SSIRI (Companion) (2010)