DBLP Keys for 'Cristina David'

# of records = 7

homepages/01/3840 conf/pepm/DavidGC09 conf/tase/GherghinaD09 conf/popl/ChinDNQ08 conf/hase/ChinDNQ07 conf/iceccs/ChinDNQ07 conf/vmcai/NguyenDQC07