Ilya Sergey

  joint publications with Dominique Devriese

Keys

# of publication records = 2

conf/pepm/DevrieseSCP13 conf/pldi/SergeyDMMDCP13

Publications

maintained by Schloss Dagstuhl LZI at University of Trier