Theses most similar to those of author Givan, Robert Lawrence

Automatically inferring properties of computer programs (1996) read it

  • Advisor: Olivier J. Blanchard
  • Department of Economics
  • Advisor: Boris Katz
  • Department of Electrical Engineering and Computer Science
  • Advisors: Lionel C. Kimerling; Stephen C. Graves
  • Department of Materials Science and Engineering
  • Advisors: Mauro J. Atalla; Michael L. Fripp
  • Department of Mechanical Engineering
  • Advisor: John L. Wyatt, Jr.
  • Department of Electrical Engineering and Computer Science
  • Advisor: David L. Trumper
  • Department of Mechanical Engineering
  • Advisor: Frank Dale Morgan
  • Department of Earth, Atmospheric, and Planetary Sciences
  • Advisors: Elizabeth Spelke; Nancy Kanwisher
  • Department of Brain and Cognitive Sciences
  • Advisor: Choon S. Tany
  • Department of Aeronautics and Astronautics