| |
# of records = 36
homepages/54/5133 conf/pldi/ShachamVY09 conf/spin/VechevYY09 conf/tacas/VechevYY09 conf/iwmm/DilligDYC08 conf/issta/LoginovYCFRN08 conf/oopsla/ArnoldVY08 conf/pldi/VechevY08 conf/popl/YorshYC08 journals/toplas/RinetzkyRSY08 journals/tosem/FinkYDRG08 journals/tse/ShohamYFP08 conf/cav/AmitRRSY07 conf/esop/RinetzkyPRSY07 conf/icse/PistoiaFFY07 conf/issta/ShohamYFP07 conf/pldi/VechevYBR07 conf/spin/GuetaFYS07 journals/ibmsj/PistoiaCFY07 conf/issta/FinkYDRG06 conf/pepm/GeayYF06 conf/pldi/VechevYB06 journals/igpl/YahavRSW06 conf/emsoft/BaconCGHRYHKSV05 conf/sas/RinetzkySY05 conf/vmcai/ManevichYRS05 conf/vstte/DorFGLLMRRRSWYY05 journals/scp/ShahamYKS05 journals/scp/FieldGRY05 conf/pldi/YahavR04 conf/esop/YahavRSW03 conf/sas/FieldGRY03 conf/sas/ShahamYKS03 journals/entcs/YahavS03 conf/popl/Yahav01 conf/coots/PoratBFRY96
Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)