Tomas Petricek

  joint publications with Gustavo Guerra

Keys

# of publication records = 2

conf/pldi/PetricekGS16 journals/corr/PetricekGS16

Publications

maintained by Schloss Dagstuhl LZI at University of Trier