A formal methods safe harbor

Thesis: S.M. in Technology and Policy, Massachusetts Institute of Technology, School of Engineering, Institute for Data, Systems, and Society, 2019

Bibliographic Details
Main Author:	Wood, Clark,S. M.Massachusetts Institute of Technology.
Other Authors:	Daniel Weitzner and Adam Chlipala.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2019
Subjects:	Institute for Data, Systems, and Society. Technology and Policy Program.
Online Access:	https://hdl.handle.net/1721.1/122219

Internet

https://hdl.handle.net/1721.1/122219