Tomas Petricek

single authored publications

# of publication records = 3

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

Publications

maintained by Schloss Dagstuhl LZI at University of Trier