Marcus Völp

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.

Formal Memory Models for the Verification of Low-Level Operating-System Code
Hendrik Tews and others (2009) · Journal of Automated Reasoning · Springer Science+Business Media
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
Hendrik Tews and others (2008) · Elsevier BV