Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Willkommen bei SOAMED

     

Dr. Björn Bartels

 

 


Mitgliedschaft bei SOAMED:

2012 - 2014

Betreuer:

Prof. Glesner (TU Berlin)

Titel der Dissertation:

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

Verteidigung am: 10.04.2014

Homepage: http://www.swt.tu-berlin.de/menue/ueber_uns/team/bjoern_bartels/