Theses most similar to A partial implementation of a modular system for software safety analysis (Pickett, Sara C. (Sara Catherine), 1976-; 2000) read it

  • Advisor: Olin Shivers
  • Department of Electrical Engineering and Computer Science
  • Advisor: Thomas F. Knight, Jr., Gerald Jay Sussma
  • Department of Electrical Engineering and Computer Science
  • Advisor: M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
  • Advisor: Stephen A. Ward
  • Department of Electrical Engineering and Computer Science
  • Advisor: M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
  • Advisor: James D. Bruce
  • Department of Electrical Engineering and Computer Science
  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
  • Advisors: Joshua A. Tauber; Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
  • Advisor: Sepandar D. Kamvar
  • Department of Electrical Engineering and Computer Science