Ilya Sergey

  joint publications with Aleksandar Nanevski

Keys

# of publication records = 8

conf/oopsla/SergeyNBD16 journals/corr/DelbiancoSNB16 journals/corr/PodkopaevSN16 conf/esop/SergeyNB15 conf/pldi/SergeyNB15 journals/corr/SergeyNBD15 conf/esop/NanevskiLSD14 journals/corr/SergeyNB14

Publications

maintained by Schloss Dagstuhl LZI at University of Trier