| dc.contributor.author | Erbsen, Andres | |
| dc.contributor.author | Gruetter, Samuel | |
| dc.contributor.author | Choi, Joonwon | |
| dc.contributor.author | Wood, Clark | |
| dc.contributor.author | Chlipala, Adam | |
| dc.date.accessioned | 2022-06-10T15:40:00Z | |
| dc.date.available | 2022-06-10T15:40:00Z | |
| dc.date.issued | 2021 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/142932 | |
| dc.language.iso | en | |
| dc.publisher | ACM | en_US |
| dc.relation.isversionof | 10.1145/3453483.3454065 | en_US |
| dc.rights | Creative Commons Attribution 4.0 International License | en_US |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0 | en_US |
| dc.source | ACM | en_US |
| dc.title | Integration verification across software and hardware for a simple embedded system | en_US |
| dc.type | Article | en_US |
| dc.identifier.citation | Erbsen, Andres, Gruetter, Samuel, Choi, Joonwon, Wood, Clark and Chlipala, Adam. 2021. "Integration verification across software and hardware for a simple embedded system." Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. | |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | |
| dc.relation.journal | Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation | en_US |
| dc.eprint.version | Final published version | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
| dc.date.updated | 2022-06-10T15:18:53Z | |
| dspace.orderedauthors | Erbsen, A; Gruetter, S; Choi, J; Wood, C; Chlipala, A | en_US |
| dspace.date.submission | 2022-06-10T15:18:55Z | |
| mit.license | PUBLISHER_CC | |
| mit.metadata.status | Authority Work and Publication Information Needed | en_US |
