Hung Van Dang
2 published titles
Theoretical aspects of computing - ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005. proceedings
(Contributor)
1 edition
- ISBN: 9783540291077
- Springer
- 2005
- Details
Automated technology for verification and analysis : 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15-18 2013 : proceedings
(Contributor)
1 edition
- ISBN: 9783319024431
- Springer
- 2013
- Details
