Man Lin
Professor
10A
(902) 867-5402
Degree: Ph.D.
Research Interests:
Formal methods for reactive and real-time systems
Degree: Ph.D.
Research Interests:
Formal methods for reactive and real-time systems