DBLP Keys for 'Patrice Godefroid'

# of records = 67

homepages/20/1639 conf/issta/ElkarabliehGL09 conf/spin/Godefroid09 conf/vmcai/EtessamiG09 conf/vmcai/GodefroidP09 conf/emsoft/GodefroidLM08 conf/issta/XuGM08 conf/ndss/GodefroidLM08 conf/pldi/GodefroidKL08 conf/tacas/AnandGT08 journals/software/GodefroidHNRSTL08 conf/popl/Godefroid07 conf/emsoft/ChakrabartiG06 conf/spin/2005 conf/ifm/GodefroidK05 conf/lics/GodefroidH05 conf/pldi/GodefroidKS05 conf/popl/FlanaganG05 conf/time/Godefroid05 journals/toplas/AlurBEGRY05 journals/fmsd/Godefroid05 conf/icalp/BrunsG04 conf/lics/AlfaroGJ04 conf/paste/Godefroid04 journals/toplas/SistlaG04 journals/sttt/GodefroidK04 conf/emsoft/Godefroid03 conf/vmcai/GodefroidJ03 conf/cav/GodefroidJ02 conf/icse/ChandraGP02 conf/tacas/GodefroidK02 conf/cav/SistlaG01 conf/concur/GodefroidHJ01 conf/icalp/BenediktGR01 conf/lics/BrunsG01 conf/concur/BrunsG00 conf/cscw/GodefroidyHJL00 conf/sigsoft/GodefroidJJL00 conf/cav/BrunsG99 conf/forte/Godefroid99 journals/fmsd/BoigelotG99 journals/fmsd/GodefroidL99 conf/issta/GodefroidHJ98 conf/pldi/ColbyGJ98 conf/wift/GodefroidKMW98 conf/cav/Godefroid97 conf/popl/Godefroid97 conf/sas/BoigelotGWW97 conf/tacas/BoigelotG97 books/sp/Godefroid96 conf/cav/BoigelotG96 conf/fm/BoigelotG96 conf/issta/GodefroidPS96 conf/lics/GodefroidL96 journals/tse/GodefroidPS96 journals/fmsd/GodefroidHP95 journals/iandc/GodefroidW94 conf/cav/GodefroidP93 conf/concur/WolperG93 conf/pstv/GodefroidH93 journals/fmsd/GodefroidW93 conf/cav/GodefroidHP92 conf/pstv/HolzmannGP92 conf/aaai/GodefroidK91 conf/cav/GodefroidW91 conf/lics/GodefroidW91 conf/cav/Godefroid90

XML