Document Preview
  • Full Text
  • Dissertation or Thesis

Toward reliable modular programs

Leino, K. Rustan M.   California Institute of Technology ProQuest Dissertations & Theses,  1995. 9526835.