Introduction to ACL2 CS 680 Formal Methods for Computer Verification Jeremy Johnson Drexel University.
Tony Hyun Kim April 23, 2009 6.152: MEMS Presentation.
Dish Verification Antenna – 1 Project NRC - Herzberg Gary Hovey 18 November 2013.
Measurement of Young’s modulus via mechanical test of MEMS cantilevers