Thai Son Hoang

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 47

Top Topics

Abstract Data Types

Intelligent Systems

Linear Temporal Logic

Requirements Elicitation

Top Venues

Sci. Comput. Program.

Publications