# of records = 32
homepages/41/5402 journals/corr/abs-1302-5175 journals/corr/abs-1301-3047 journals/sigsoft/BlechS12 journals/tecs/BlechP12 conf/date/HuangBRBK12 conf/icfem/BlechFB12 conf/isola/BlechFRS12 journals/corr/abs-1202-6119 journals/corr/abs-1203-0415 journals/corr/abs-1208-2563 journals/fmsd/BlechG11 conf/codes/HuangBRBK11 conf/dsd/HuangBRBK11 conf/opodis/Blech11 conf/sac/Blech11 conf/sefm/BlechB11 conf/ssv/Blech11 journals/corr/abs-1102-3529 journals/corr/abs-1109-5505 journals/corr/abs-1009-0817 phd/de/Blech2009 conf/scopes/BlechP09 journals/entcs/GlesnerLB07 journals/entcs/BlechP07 conf/rv/BlechSP07 journals/entcs/BlechGLM05 conf/se/GlesnerB05 conf/sefm/BlechGG05 conf/dagstuhl/GlesnerB04 conf/gi/BlechG04 journals/entcs/GlesnerB03