HelenOS theses currently in progress

• ​http://is.cuni.cz/eng/studium/dipl_st/index.php?fak=11320&ustav=&dobor=&vedouci=&stupr=&fulltext=HelenOS&fulltext_kde[=nazev&fulltext_kde[]=ostatni&skr=&skr_obhajeni=&dtyp=&kterep=res&pocet=&f=find&do=main# Theses in progress] at Faculty of Mathematics and Physics, Charles University in Prague