Integration verification across software and hardware for a simple embedded system

Bibliographic Details
Main Authors:	Erbsen, Andres, Gruetter, Samuel, Choi, Joonwon, Wood, Clark, Chlipala, Adam
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	ACM 2022
Online Access:	https://hdl.handle.net/1721.1/142932

Internet

https://hdl.handle.net/1721.1/142932