Holzmann, Gerard J.

Combined from CaltechTHESIS advisor

• Florian, Mihai (2014) Analysis-Aware Design of Embedded Systems Software; 10.7907/VB1N-Y042
• Florian, Mihai (2010) SCALE: Source Code Analyzer for Locating Errors; 10.7907/KXWA-7Y81