Search results for: Tho T. Quan
Vietnam Journal of Computer Science > 2017 > 4 > 2 > 111-126
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Tool Papers > 387-395
2012 19th Asia-Pacific Software Engineering Conference > 2 > 158 - 161