Samuel Gruetter
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Integration verification across software and hardware for a simple embedded system
Andres Erbsen and others (2021) · Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation · ACM
A multipurpose formal RISC-V specification, 2021.
Thomas Bourgeat and others