Sanders, Beverly

Committee Member — 2 thesises

• Van der Goot, Marcel Rene — Semantics of VLSI synthesis (1995, Dissertation (Ph.D.))
• Leino, K. Rustan M. — Toward reliable modular programs (1995, Dissertation (Ph.D.))