Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
ICDT
/
Paper
Automatic verification of database-driven systems: a new frontier.
Victor Vianu
Venue
A
ICDT
Year
2009
Proceedings
ICDT
DBLP record
conf/icdt/Vianu09 ↗
Browse the full
ICDT paper archive
.