CoqIOA : a formalization of IO automata in the Coq proof assistant

CoqIOA : a formalization of IO automata in the Coq proof assistant

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

Bibliographic Details
Main Author: Athalye, Anish (Anish R.)
Other Authors: M. Frans Kaashoek and Nickolai Zeldovich.
Format: Thesis
Language:eng
Published: Massachusetts Institute of Technology 2017
Subjects:
Electrical Engineering and Computer Science.
Online Access:http://hdl.handle.net/1721.1/112831

Similar Items

Similar Items