DBLP Keys for 'Viet Yen Nguyen'

# of records = 6

homepages/49/3397 conf/sigsoft/BozzanoCRKNN09 conf/safecomp/BozzanoCKNNR09 conf/tacas/BrughNR09 conf/tacas/NguyenR09 conf/spin/NguyenR08