Iakov Dalinger

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Iakov Dalinger, Mark A. Hillebrand, Wolfgang J. Paul
On the Verification of Memory Management Mechanisms. CHARME (2005)