Memory-safe microcontroller applications with the Bedrock structured programming system

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.

Bibliographic Details
Main Author: Barenblat, Benjamin Ezra
Other Authors: Adam Chlipala.
Format: Thesis
Language:eng
Published: Massachusetts Institute of Technology 2015
Subjects:
Online Access:http://hdl.handle.net/1721.1/100294

Similar Items