Ilya Sergey

  joint publications with Jan Midtgaard

Keys

# of publication records = 2

conf/pldi/SergeyDMMDCP13 conf/mpc/SergeyMC12

Publications

maintained by Schloss Dagstuhl LZI at University of Trier