DBLP Keys for 'Elena Zinovieva'

# of records = 6

homepages/08/5822 conf/tacas/JeannetJRZ05 conf/tacas/ClarkeJRZ02 conf/esmart/ClarkeJRZ01 conf/sigsoft/ClarkeJRZ01 journals/entcs/RusuZ01