Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Welcome to SOAMED

Dr. Björn Bartels

Member of SOAMED:

2012 - 2014

Advisor:

Prof. Glesner TU Berlin

Title of thesis:

A Mechanized Verification Environment for Real-Time Process Algebras and Low-Level Programming Languages

Defended on April 10, 2014

Homepage:

bjoern_bartels