Tomas Petricek

single authored publications

# of publication records = 4

journals/corr/Petricek17 conf/oopsla/Petricek15 journals/corr/abs-1202-2921 conf/itat/Petricek09

Publications

maintained by Schloss Dagstuhl LZI at University of Trier