Nguyen Trinh Dong

Bio

His research interests include formal method for software engineering.