Home | Legals | Sitemap | interACT
Brillout_verkleinert

Roumald Brillout

KIT
Exchange at: CMU
Advisor: @ KIT: Prof. P. Schmitt, @ CMU: Ass. Prof. Platzer
Type of work: Diploma Thesis
Topic of work: Dynamic Logic
Exchange from to: Mar 2011 - Aug 2011