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.

Bibliografiske detaljer
Hovedforfatter:	Athalye, Anish (Anish R.)
Andre forfattere:	M. Frans Kaashoek and Nickolai Zeldovich.
Format:	Thesis
Sprog:	eng
Udgivet:	Massachusetts Institute of Technology 2017
Fag:	Electrical Engineering and Computer Science.
Online adgang:	http://hdl.handle.net/1721.1/112831

Internet

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