Sebastian Bogan

Publication Activity (10 Years)

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

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Matthias Daum, Jan Dörrenbächer, Sebastian Bogan
Model Stack for the Pervasive Verification of a Microkernel-based Operating System. VERIFY (2008)