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