Tuan-Hung Pham
发表
Michael W. Whalen,
Tuan-Hung Pham,
2013,
ESEC/FSE 2013.
Konrad Slind,
Michael Whalen,
Tuan-Hung Pham,
2011
.
Ninh-Thuan Truong,
Viet-Ha Nguyen,
Tuan-Hung Pham,
2009,
2009 International Conference on Knowledge and Systems Engineering.
Wei-Ngan Chin,
Minh-Thai Trinh,
Anh-Hoang Truong,
2011,
CAV.
Michael W. Whalen,
Tuan-Hung Pham,
2013
.
Anh-Hoang Truong,
Cau Giay,
Tuan-Hung Pham,
2008
.
Wei-Ngan Chin,
Ninh-Thuan Truong,
Anh-Hoang Truong,
2008,
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Michael W. Whalen,
Tuan-Hung Pham,
Tuan-Hung Pham,
2013,
VSTTE.
Konrad Slind,
Michael W. Whalen,
Tuan-Hung Pham,
2012,
HILT '12.
Michael W. Whalen,
Andrew Gacek,
Tuan-Hung Pham,
2016,
Journal of Automated Reasoning.
Michael W. Whalen,
Tuan-Hung Pham,
2013
.
Wei-Ngan Chin,
Takenobu Aoshima,
Anh-Hoang Truong,
2010,
TTSS.
Chenlei Guo,
Yuan Ling,
Tuan-Hung Pham,
2020,
Converse@KDD.
Michael W. Whalen,
Tuan-Hung Pham,
Tuan-Hung Pham,
2013
.