Phung H. Nguyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2010–2011
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ICSoft | CTG | Anh D. Le, Tho T. Quan, Nguyen T. Huynh, Phung H. Nguyen |
| 2011 | ICSoft | Combined Constraint-Based Analysis for Efficient Software Regression Detection in Evolving Programs. | Anh D. Le, Tho T. Quan, Nguyen T. Huynh, Phung H. Nguyen, Nhat-Van Le |
| 2010 | ATVA | COMBINE: A Tool on Combined Formal Methods for Bindingly Verification. | An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui |