add ETAPS award :)
[web.git] / research / bachelor /
drwxr-xr-x   ..
-rw-r--r-- 238073 bachelor-talk.pdf
-rw-r--r-- 617808 bachelor.pdf
-rw-r--r-- 74013 bachelor.zip