Toggle navigation
AISeQ Lab
Home
Team
Course
Demo
Research
Publications
Team
collaborator
Nguyen Trinh Dong
Nguyen Trinh Dong
Bio
His research interests include formal method for software engineering.