Holzmann, Gerard J.

Advisor — 2 thesises

• Florian, Mihai — Analysis-Aware Design of Embedded Systems Software (2014, Dissertation (Ph.D.))
• Florian, Mihai — SCALE: Source Code Analyzer for Locating Errors (2010, Master's thesis)