First Page | Document Content | |
---|---|---|
Date: 2015-06-14 19:45:36 | 6.888: Certified Systems SoftwareVerifiedDSP: Verifying Digital Signal Processing Designs in Coq https://github.com/JeremyRubin/VerifiedDSP Jeremy RubinAdd to Reading ListSource URL: css.csail.mit.eduDownload Document from Source WebsiteFile Size: 155,73 KBShare Document on Facebook |