M. Hohmuth
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.
The VFiasco approach for a verified operating system
M. Hohmuth and others (2005) · Proceedings of the 2nd ECOOP Workshop on Programming Languages and Operating Systems
The semantics of C++ data types: Towards verifying low-level system components
M. Hohmuth and others (2003) · TPHOLs 2003, Emerging Trends Proceedings