Formal methods for design automation application development

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1997.

Bibliographic Details
Main Author:	Bachrach, Hillel E
Other Authors:	Anna Thornton.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2008
Subjects:	Mechanical Engineering
Online Access:	http://hdl.handle.net/1721.1/43427

Internet

http://hdl.handle.net/1721.1/43427