Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: Coq; monads; functional reactive programming; formal verification. Includes bibliographical references (leaves 31-32).
| Identifer | oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/227188329 |
| Date | January 2008 |
| Creators | King, Christopher T. |
| Publisher | Worcester, Mass. : Worcester Polytechnic Institute, |
| Source Sets | OCLC |
| Language | English |
| Detected Language | English |
| Source | Link to electronic thesis |
Page generated in 0.0018 seconds