<h1>Holzmann, Gerard J.</h1>
<h2>Software from <a href="https://data.caltech.edu">CaltechTHESIS advisor</a></h2>
<ul>
<li>Florian, Mihai (2014) <a href="https://resolver.caltech.edu/CaltechTHESIS:10142013-111401153">Analysis-Aware Design of Embedded Systems Software</a>; <a href="https://doi.org/10.7907/VB1N-Y042">10.7907/VB1N-Y042</a></li>
<li>Florian, Mihai (2010) <a href="https://resolver.caltech.edu/CaltechTHESIS:04142010-122136677">SCALE: Source Code Analyzer for Locating Errors</a>; <a href="https://doi.org/10.7907/KXWA-7Y81">10.7907/KXWA-7Y81</a></li>
</ul>