Formal methods for design automation application development
Author(s)Bachrach, Hillel E
MetadataShow full item record
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1997.Includes bibliographical references (p. 76-79).
DepartmentMassachusetts Institute of Technology. Dept. of Mechanical Engineering
Massachusetts Institute of Technology